[coreboot] r3998 - trunk/coreboot-v2/src/arch/i386/boot