ANGSTROM_GCC_VERSION_xilinx-ml403 ?= "4.1.1"
#for proper NEON support we need a CSL toolchain
-ANGSTROM_GCC_VERSION_armv7a = "4.2.1+csl-arm-2007q3-53"
+#ANGSTROM_GCC_VERSION_armv7a = "4.2.1+csl-arm-2007q3-53"
+ANGSTROM_GCC_VERSION_armv7a = "4.3.1"
+
+#Horrible workaround for armv7a follows:
+# gcc 4.3.1 builds a kernel that oopses with a null-pointer in the rcu-update function
+# gcc 4.2.1 (the one from *gasp* csl) builds a working kernel, but non-working userspace
+
+KERNEL_CCSUFFIX_armv7a= "-4.2.1+csl-arm-2007q3-53"
+PREFERRED_VERSION_gcc-cross-kernel_armv7a = "4.2.1+csl-arm-2007q3-53"
#avr32 only has support for gcc 4.2.2
ANGSTROM_GCC_VERSION_avr32 ?= "4.2.2"