IBM, Red Hat and Fedora