And one point I forgot: it might be simple enough to fix this by recompiling the various linux-image-* packages with a newer GCC version, one which can still be obtained via Debian. However, as far as I can tell by looking at changelogs, that doesn't seem to have been done.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
