/* * Reenable kernel preemption. */