[coreboot] New patch to review for coreboot: 2e66ea9 sconfig: fix up shipped code