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