ARM Linux Kernel 77th 2st gic_of_init