[coreboot] r3783 - in trunk/coreboot-v2: src/config util/options