ARM Linux Kernel 72th IRQ_init()