Enabling PARAVIRT stuff in Fedora kernels