x86/microcode/intel: Sanitize microcode_pointer()