microblaze: intc: Using irqchip