ec2-build/build-kernel: switch to Linaro compiler