[Update 07:45 uur] Na een reboot van de machine lijkt het probleem te zijn verdwenen. De precieze oorzaak proberen we nog te achterhalen.