Update verification rules for new Linux kernels

According to !66 (merged) we have rules inconsistent with new kernels. Require to recheck and fix them.

Also we need tests for new kernels