envsetup: support specifying a different toolchain for kernel

* set TARGET_KERNEL_TOOLCHAIN in your BoardConfig
* example: TARGET_KERNEL_TOOLCHAIN := arm-eabi-4.9

Change-Id: I1f17796a3a3e633a61f2556374856e8055a49031