So this bug can be closed.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
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.
