Enable semihosting in the Makefile