[coreboot] [commit] r5246 - in trunk/src: arch/i386/boot pc80