RIOT-OS/RIOT — pull request #1742 by BytesGalore (2014-09-30 20:31:03+00:00)
Title: Travis: reverted forcing travis to install `gcc-arm-none-eabi=4-*`

Travis: revert workaround for gcc-arm-none-eabi missing headers when fixed upstream
The stock installed `gcc-arm-none-eabi amd64 4.8.4.2014q3-0precise10` seems to ship all the required headers again.