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