We have been using a Code Sourcery 2009q1 toolchain for ARM kernel builds. I don't know if you can download that version any more, and Ubuntu 14.04 includes a newer Linaro toolchain.
We verified that this works today, so we are updating connectal and zynq-boot to use the compiler in the gcc-arm-linux-gnueabi Ubuntu package.
apt-get install gcc-arm-linux-gnueabi
Centos and Debian are unfortunately missing packages for ARM cross compilers, so I cannot recommend using those distributions if you need to rebuild zImage or connectal kernel modules.
We still require the Android NDK for building android.exe to run on Zynq. That same toolchain can be used to build boot.bin for Zynq boards.
The NDK toolchain will build a zImage, but the zImage will not boot.
There is a gcc-arm-linux-androideabi package available, which I think could be used as a replacement for the NDK toolchain but we have not tried it yet.
-Jamey