Arduino Mega ADK will be activated automatically in Arduino 1.5.5

See: https://github.com/arduino/Arduino/pull/1605