[coreboot] r3745 - in trunk/coreboot-v2/src: arch/i386/boot config include/cpu/x86