I actually got bit by this particular bug (I think) just a few days ago. At least in my case, a proper cold shutdown was the remedy. (Many normal reboots were

I actually got bit by this particular bug (I think) just a few days ago. At least in my case, a proper cold shutdown was the remedy. (Many normal reboots were attempted in vain)