[Bug 309089] New: VirtualBox kernel driver not installed. x86-64