[opensuse-kernel] A new approach to verify changes in the Linux kernel ABI