https://embetronicx.com/tutorials/linux/device-drivers/using-kernel-timer-in-linux-device-driver/