Use TARGET_KERNEL_CUSTOM_TOOLCHAIN := arm-eabi-4.7