[coreboot] [commit] r5827 - in trunk: . src/arch/i386