ARM Linux Kernel 72th tick_nohz_init(), context_tracking_init()