change dmi ksplice_DTS2020010707366V_dmi_new ksplice-DTS2020010707366V_dmi-new.ko ksplice_DTS2020010707366V_dmi_old ksplice-DTS2020010707366V_dmi-old.ko
core ksplice_DTS2020010707366V ksplice-DTS2020010707366V.ko
