Re: [coreboot] [RFC] SMM handling and resident coreboot