arch/x86/kernel/cpu/mcheck/p4.c: cleanups