Linux kernel timer.