Also upgrade to the latest 2013q4 "GNU Tools for ARM
Embedded Processors" toolchain since the 2012q2 release
is no longer available for download.