Compiling sdl for ios using gcc

Hi,
compiling the iOS version of SDL with the project file for Xcode 3.2.5 on
10.6 has mixed results.

armv7 - ok with gcc-4.2 and llvm
armv6 - ok with llvm
with gcc-4.2 it prints out this error

{standard input}:256:selected processor does not support `mcr
p15,0,r0,c7,c10,5’

I looked at the predefined macros but they seem to fit.
Anyone else found this problem?
Vittorio