[coreboot] New patch to review for coreboot: 856a155 sconfig: Some fixes