[coreboot] question on SMM