Updated with hardware/ from Arduino-1.5.2

Really, I just want HardwareSerial.h so I can get Serial.println working