Why does kernel-default say preemptive kernel now?