[coreboot] mpspec.h cleanup