Re: [coreboot] SMM included twice