[coreboot] [commit] r6438 - in trunk: . src/pc80