[coreboot] [commit] r5101 - trunk/util/optionlist