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)