[Q] Kernel question topic

Can any of the existing Tbolt kernels be compiled using a newer toolchain for better performance?
Looks like Linaro 4.6 works on 2.3.7.
http://www.linaro.org/downloads/1111/

I love leankernel, zoom, etc., but maybe we could squeeze a bit more out of them?