[Bug 943717] After a patch by update VirtualBox can not start any virtual machines - Kernel driver not installed (rc=-1908)