[coreboot] [commit] r5317 - in trunk/src: arch/i386 include include/pc80