Kernel Time Discipline