Use MODSERIAL with big RX buffer

makefile

 	CARGS += -fomit-frame-pointer
 	CARGS += $(PRE_DEFS)
 	CPPARGS = -I$(EXTRAINCDIR)
+	CPPARGS += -Ilib/MODSERIAL
 	CPPARGS += -Ilib/mbed
 	CPPARGS += -Ilib/mbed/TARGET_LPC1768
 	CPPARGS += -Ilib/mbed/TARGET_LPC1768/TARGET_NXP
 .PHONY: copy
 copy: $(BUILDDIR)/$(TARGET).bin
 	cp $(BUILDDIR)/$(TARGET).bin /Volumes/MBED/$(TARGET).bin
+	sync
 
 .PHONY: clean
 clean:

src/arm/serial.cpp

 #include "mbed.h"
 #pragma GCC diagnostic pop
 
+#include "MODSERIAL.h"
+
 #define UART_COUNT 1
 
-static Serial serial(USBTX, USBRX);
+static MODSERIAL serial(USBTX, USBRX, 2048, 32);
 
 extern "C" {