Updated ArduinoHardware.h to add Teensy 3.0 support