ARM Linux Kernel 74th (init_IRQ())