[PATCH v4] Allow top-level Makefile to use arm-none-eabi toolchain