Prefix drivers.h and platform.h with mbed

To prevent file name conflicts prefix the files drivers.h and
platform.h with mbed_.

Author: c1728p9

drivers/drivers.h renamed to drivers/mbed_drivers.h

@@ -16,7 +16,7 @@
 #ifndef ARGUMENTS_H
 #define ARGUMENTS_H
 
-#include "platform.h"
+#include "mbed_platform.h"
 #include "parse_pins.h"
 
 namespace mbed {

features/unsupported/rpc/Arguments.h

@@ -4,7 +4,7 @@
 #ifndef MBED_SPIHALFDUPLEX_H
 #define MBED_SPIHALFDUPLEX_H
 
-#include "platform.h"
+#include "mbed_platform.h"
 
 #if DEVICE_SPI
 

features/unsupported/tests/libs/SPIHalfDuplex/SPIHalfDuplex.h

@@ -4,7 +4,7 @@
 #ifndef MBED_SERIALHALFDUPLEX_H
 #define MBED_SERIALHALFDUPLEX_H
 
-#include "platform.h"
+#include "mbed_platform.h"
 
 #if DEVICE_SERIAL
 

features/unsupported/tests/libs/SerialHalfDuplex/SerialHalfDuplex.h

@@ -20,8 +20,8 @@
 
 
 // Common codebase
-#include "platform.h"
-#include "drivers.h"
+#include "mbed_platform.h"
+#include "mbed_drivers.h"
 
 // RTOS
 #if MBED_CONF_RTOS_PRESENT