The GCC linker is sensitive to the order of objects specified in
its input. The resulting gummitboot binary cannot be booted on
system with 32-bit UEFI BIOS. This issue is seen on both GCC
4.6.2 and 4.7.3, with binutils 2.23.1.
This changes the libgcc.a to be specified at the end when linking.