Implemented new timer interface for mini example since kernel 6.15.

examples/mini/mini.c

@@ -525,7 +525,11 @@ void __exit cleanup_mini_module(void)
 {
     printk(KERN_INFO PFX "Stopping...\n");
 
+#if LINUX_VERSION_CODE >= KERNEL_VERSION(6, 15, 0)
+    timer_delete_sync(&timer);
+#else
     del_timer_sync(&timer);
+#endif
 
 #if EXTERNAL_MEMORY
     kfree(domain1_pd);