ARM Linux kernel 70th sched_init()