gcc 4.7.1 support for Genode

[Taru Karttunen]

Hello

This appears to be a working version of gcc 4.7.1 for Genode.
https://github.com/taruti/genode/commits/gcc47

ps. I am hacking on gccgo support.

- Taru Karttunen