[coreboot] [commit] r6255 - in trunk/src: arch/x86 pc80