Re: [coreboot] [PATCH] refactor SMI handler