ARM Linux Kernel 73th init_IRQ()