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.