[coreboot] [commit] r5087 - trunk/src/config