5.12 kernels and Fedora