[coreboot] [commit] r6139 - trunk/util/acpi