Dit heb ik zelf gisteren een poosje gehad, dus voor de zekerheid gecontroleerd op updates (een paar gevonden en geïnstalleerd) en gereboot. Probleem verdwenen.
En nee, ik weet niet of de reboot alleen genoeg was geweest of dat de updates wat opgelost hebben.