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