Sounds similar to https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=763028 to me, although AFAIK rebooting is fine in my case.
Sounds similar to https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 763028 to me, although AFAIK rebooting is fine in my case.