[coreboot] [commit] r6442 - trunk/src/ec/acpi