Merge branches 'sched/domains' and 'sched/clock' into sched/core