Factor out common %.mod.KSPLICE target in Makefile.ksplice.