CI still cannot find arm-none-eabi-as. Replace curl with wget and remove pipes. Exit if arm-none-eabi-as cannot be found.