IBM CEO to CNBC: Paul Cormier is staying, running Red Hat

CNBC's Jon Fortt reports on IBM CEO Arvind Krishna's comments on executive changes.