[coreboot] [v2] r4240 - in trunk/coreboot-v2: src/arch/i386/boot src/arch/i386/include/arch/smp src/arch/i386/smp src/boot src/cpu/amd/dualcore src/cpu/x86/lapic src/cpu/x86/pae src/include src/lib src/mainboard/tyan/s2892 src/northbridge/amd/amdk8 src/pc80 src/southbridge/nvidia/ck804 util/cbfstool util/options