Re: Upgrade to kernel 3.19.0.0 (rc3) partially breaks VirtualBox guest additions