this toolchain is unable to build the linux kernel (i've tried 3.6.6 and 3.7-rc6),
it gives me this error:
arch/arm/lib/copy_template.S:100: Error: selected processor does not support ARM mode `ldralt ip,[r1],#4'
The kernel builds fine with the previous release (2012.03) and
with other gcc-4.7 toolchain (ubuntu 12.10 armel-cross).
I think it's afflicted by this bug:
Do you think there is some hope to have a fixed version?