x86: use smp_call_function_single() in arch/x86/kernel/cpu/mcheck/mce_amd_64.c