[PATCH] the print is redundant because platform_get_irq()