ARM Linux kernel 70th rcu_init()