Kernel Update breaks VirtualBox Plugin