Re: [coreboot] [commit] r5439 - trunk/src/arch/i386