Fixes to get CodeSourcery GCC and RVCT 3.1 compiling.