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