[coreboot] Patch merged into coreboot/master: 009934f coreinfo: fix build error (TRIVIAL)