Linux real-time preemption overview