> I'm using gcc 4.6 and the linux is Ubuntu 12.04. > > Any clues or suggestions how to fix it?
None of the devs has a reliable ARM debugging environment so at this point we can only support compiling/linking on e.g. ARM Linux. Making it run is up to someone with such a setup.