[coreboot] more smm questions