sched: proper prototype for kernel/sched.c:migration_init()