It would be really nice, if there was a way to set to size of the rx/tx buffers without having to patch serial1.c after every update of Teensyduino.