[coreboot] [commit] r5445 - trunk/src/arch/i386