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