x86, mce: rename _64.c files which are no longer 64-bit-specific