http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55218
--- Comment #2 from Hans-Peter Nilsson <hp at gcc dot gnu.org> 2012-11-07 02:13:32 UTC --- (After reading the linked post.) Somewhat related: maybe the changes.html text should say "bootloader" or "startup code" instead of kernel because everyone just thinks it just means "Linux". Patches welcome.
