[coreboot] Patch merged into coreboot/master: e5b0852 ELOG: Add support for SMM and kernel GSMI driver