This toolchain isn't my work, but it works awesomely for compiling BA2X source. ROMs definitely feel smoother when the kernel is compiled with this toolchain. I've tested, and this is, in fact, better than Linaro 4.7 toolchain.

android_prebuilts_gcc_linux-x86_arm_sabermod-arm-eabi-4.7

GNU gcc 4.7 branch built with AOSP's upstream toolchain builder