Getting involved with the Fedora kernel