This flag is particular to the CMSIS library, so it could certainly go in the Makefile. The only issue I see is that in some sense this is a particular trait of the processor, not the board.