x86, mce: mce.h cleanup