Note to whoever tackles this first: this new test should depend on src:linux somehow, so that it's triggered on ci.debian.net whenever Linux is upgraded, which would catch an entire class of regressions.