x86: fix warning without CONFIG_KVM (Mark McLoughlin)