[PATCH] Adjust top-level Makefile for arm-none-eabi toolchain