Red Hat, IBM and Fedora's Kernel