x86: cleanup remaining cpumask_t code in mce_amd_64.c