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