[coreboot] [commit] r4935 - trunk/src/arch/i386/boot