[coreboot] [RFC] use of SMM with SSE/MMX...