change cache ksplice_DTS2018081412447_cache_new ksplice-DTS2018081412447_cache-new.ko ksplice_DTS2018081412447_cache_old ksplice-DTS2018081412447_cache-old.ko
core ksplice_DTS2018081412447 ksplice-DTS2018081412447.ko
