x86: correct the CPUID pattern for MSR_IA32_MISC_ENABLE availability