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