+1

Here is the rasberrypi gcc output:
```
Target: arm-linux-gnueabihf
```

Looks like clang produces compatible output:
```
$ clang -v
Debian clang version 3.0-6 (tags/RELEASE_30/final) (based on LLVM 3.0)
Target: x86_64-pc-linux-gnu
Thread model: posix
```

This might solve my second problem, too: gnueabihf requires "USE_EABI_HARDFLOAT=1" which can be set via common.gpy. I've added a patch for that, but it should only be applied in case of gnueabihf.