CM3: kernel preemption documentation.