x86: Couple of small cleanups after cpuid faulting patch.

Signed-off-by: Keir Fraser <keir@xen.org>

xen/arch/x86/cpu/cpu.h

@@ -30,4 +30,3 @@ extern void display_cacheinfo(struct cpuinfo_x86 *c);
 extern void generic_identify(struct cpuinfo_x86 * c);
 
 extern void early_intel_workaround(struct cpuinfo_x86 *c);
-extern void intel_cpuid_faulting_flip(unsigned int enable);

xen/arch/x86/cpu/intel.c

@@ -27,7 +27,7 @@ struct movsl_mask movsl_mask __read_mostly;
 
 static unsigned int probe_intel_cpuid_faulting(void)
 {
-	uint32_t x;
+	uint64_t x;
 	return !rdmsr_safe(MSR_INTEL_PLATFORM_INFO, x) && (x & (1u<<31));
 }