fixing a strange virtualbox issue on reboot