fixes for the kernel preemption logging code