ARM: rename mbed-system_stm32f4xx.c/.h to cmsis-system_stm32f4xx.c/.h.

Last part of the effort to rename all CMSIS-provided files to "cmsis-".

Makefile-ARM

@@ -118,10 +118,6 @@ TARGET = $(PROGRAM).hex
 # to keep this working and can take a shortcut:
 SOURCES = $(wildcard *.c)
 
-ifeq ($(MCU), stm32f411)
-  SOURCES += mbed-system_stm32f4xx.c
-endif
-
 # Other target MCU specific adjustments:
 ifeq ($(MCU), lpc1114)
   STARTUP_FILE = cmsis-startup_lpc11xx.s

cmsis-stm32f4xx.h

@@ -222,7 +222,7 @@ typedef enum
   */
 
 #include "cmsis-core_cm4.h"             /* Cortex-M4 processor and core peripherals */
-#include "mbed-system_stm32f4xx.h"
+#include "cmsis-system_stm32f4xx.h"
 #include <stdint.h>
 
 /** @addtogroup Peripheral_registers_structures