change dmi ksplice_DTS2019062708669V_dmi_new ksplice-DTS2019062708669V_dmi-new.ko ksplice_DTS2019062708669V_dmi_old ksplice-DTS2019062708669V_dmi-old.ko
core ksplice_DTS2019062708669V ksplice-DTS2019062708669V.ko
