[coreboot] [commit] r6232 - in trunk/src/mainboard/amd/bimini_fam10: . acpi