Re: [coreboot] Smi handler issue