The Red Hat Enterprise Linux kernel ABI yum plugin