Enable higher baudrate with mbed

include/serial.h

  *  \param uart UART Module to initialize
  *  \param baud Baudrate. Use the BAUD() macro!
  */
+#if defined(__AVR__)
 void serialInit(uint8_t uart, uint16_t baud);
+#else
+void serialInit(uint8_t uart, uint32_t baud);
+#endif
 
 /** Stop the UART Hardware.
  *  \param uart UART Module to stop

src/arm/serial.cpp

     return UART_COUNT;
 }
 
-void serialInit(uint8_t uart, uint16_t baud) {
+void serialInit(uint8_t uart, uint32_t baud) {
     if (uart >= UART_COUNT)
         return;
 

src/main.c

     timerInit();
 
 #ifdef DEBUG
+#if defined(__AVR__)
     serialInit(0, BAUD(38400, F_CPU));
+#else
+    serialInit(0, BAUD(115200, F_CPU));
+#endif
 #endif
 
 #ifdef __AVR__