No
Actually, the problems seems to be related to the use of the ABIv2 toolchain because the problems also appear if you build using the armv5_abiv2 target (that uses the RVCT compiler).
Ok, so I will try with ARM from silver.arm.com
I hope I will have no much problems using their tools. Actually I hope it's just installing in order to be able to use armv5 as a PLATFORM, right?