fix dependencies on the virtual kernel package (fixes #878)