No matches were found for subject:"Bug#437401\: \[Vmware\-package\-maintainers\] Bug#437401\: vmware\-package\: kernel modules do not build with kernel\-package and vanilla kernel"