I installed linux-source in disco, applied those two patches to the source tree, copied the config file from /boot and rebuilt the kernel, rebooted, and can confirm the bug is fixed.
I installed linux-source in disco, applied those two patches to the source tree, copied the config file from /boot and rebuilt the kernel, rebooted, and can confirm the bug is fixed.