kernel: use default android toolchain

*) our kernel finally supports GCC-4.6 (EOS branch)