I saw in a linux build log this command (how to generate from \'vmlinux\' to \'Image\'),
/home/ckim/N1SDP/arm-reference-platforms/tools/gcc/gcc-linaro-6.