x86, mce: unify, prepare 64bit in mce.h