[coreboot] Patch merged into coreboot/master: b8fe009 Report GSE chipset and warn if the code has been compiled for the wrong chipset.