small fix of the format
kernel code reading: rename irq_register_assign to init_IRQ_on_power