Fixed some embarrassing bugs in pins_arduino.h and HardwareSerial.cpp