ARM Linux Kernel 76th init_IRQ