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