[OT] Compiling a module for the Fedora kernel