Re: [coreboot] more smm questions