Re: [coreboot] SMM handling and resident coreboot