ARM Linux Kernel 71th rcu_init()