[coreboot] [commit] r6270 - trunk/util/options