haida: arm-eabi-4.6 toolchain for kernel