[coreboot] r4019 - trunk/coreboot-v2/src/config