[coreboot-gerrit] Patch merged into coreboot/master: fa6bd71 vendorcode/intel: remove DebugDeadLoop() from fsptypes.h