https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70188
John David Anglin <danglin at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #12 from John David Anglin <danglin at gcc dot gnu.org> --- 64-bit Debian 4.4.4-2+b1 kernel booted successfully on c3750.