sched/rt, xen: Use CONFIG_PREEMPTION