Update: CodeSourcery versions newer than 2009q3 now seem to work with StarterWare if you compile with the flag -fno-zero-initialized-in-bss. Older versions untested by original poster due to lack of interest.
I just want to point out for anybody wanting to use gcc + UARTprintf as a substitute for printf, that serial port output seems to be broken for CodeSourcery versions newer than 2009q3 - up to and including 2011.09-69 (try uartEcho: interrupt Tx breaks). However, gcc is apparently required for USB..
Also, usb_bulk_dev when compiled with CodeSourcery 2009q1-161 works when debugging in CCS but does not work when booting from SPI0 standalone.
Everything (including usb_bulk_dev booted from SPI0!!) seems to work when compiled with 2009q3-68.
This is all for my EVMAM1707 Rev. H evaluation board; code forthcoming in original thread. Is this sort of crazy compiler dependence true for other processors too??