Re: [coreboot] SMI handler for fsp_broadwell_de