Download appropriate toolchain for build machine
Download appropriate toolchain for build machine

This makes it possible to build on both aarch64 and x86_64 without
editing the nerves_defconfig.

nerves-project/nerves_system_rpi0,nerves-project/nerves_system_rpi0