Linux kernel module to adjust the time stamp counter (TSC)