cc/gcc: Update gcc to 4.7.1 (v2)
Attempt #2 at updating gcc.
This time without porting gcc 4.7.0 patches forward.
Signed-off-by: Bryan Hundven <bryanhundven@gmail.com>
Message-Id: <aeffa57986d52dd7b0a8.1341290304@flambe.is-a-geek.org>
1 # Bare metal config options
5 ## help 'Bare metal' refers to those programs that run without any kernel.
7 ## help You probably want to say 'y' here if you plan to use your compiler
8 ## help to build bootloaders. It is not yet suitable to build Linux kernels,
9 ## help though, because the APCI stuff relies on the target C library headers
10 ## help being available?!?!...