Hi,
If you look at the code you will see that it is a thumb instruction.
Use "-mcpu=arm7tdmi" as a compile option to arm-elf-gcc.
Using "-mcpu=arm9" fixes this too.
I am using gcc-4.5.2, newlib-1.19.0, etc that are all the latest as of this date.
rs