Alternatively, it's possible to use a vanilla kernel: https://fedoraproject.org/wiki/Kernel_Vanilla_Repositories