rtxen: added rtpartition scheduler. add curr_on_cpu() default call.