So this bug can be closed.
-- To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
I recompiled the kernel from the current official security update
sources. These sources contain the patch and work flawlessly, although I
did not see any mention of this fix in changelog.
