Symbol: kvm_arch_pmi_in_guest