Klever

After recent changes in generating verification objects (#7661) quite many Linux kernel parts become verification objects. So corresponding filters should be updated to reject this. In addition we loose modules that don't have any initialization and just export some symbols. More advanced filters should fix this as well.

BTW, maybe it's time to introduce a dependency on specification sets within LKVOG since actually filters can depend on Linux kernel versions. Ditto for generation of verification objects in general. One day our approach may fail without additional efforts for adopting the process for specific versions or/and configurations of the Linux kernel.