We want VMODs to depend on the right ABI, so we need to provide
something they can depend on.  Do so, and hook that up with the RPM
build process.