Re: [coreboot] caching in SMI handler