x86/xen: silence smatch warning in pmu_msr_chk_emulated()