fedpkg changes for kernel-rt