Pre-Compiled kernels for various devices using the linaro 4.6.2 gcc toolchain