x86, mce: clean up p6.c