Redhat-Rochade: Paul Cormier ist CEO, Jim Whitehurst wird President bei IBM