Additional information, as noticed by the kind people on #debian-devel: This is only an issue because I'm using a custom kernel, which has fbcon as a module. Debian kernels should not be affected, which also explains why this issue wasn't reported earlier. Jan