add HardwareSerial source for Arduino SDK