envsetup.sh: use arm-eabi-4.6 for kernel