ARM Linux kernel 69th sched_init()