Re: [coreboot] cached SMI handler