GCC Thumb-2 libraries

These libraries are from "Sourcery G++ Lite" on
http://www.codesourcery.com/.

