[coreboot] Patch merged into coreboot/master: 2e66ea9 sconfig: fix up shipped code