drivers/irqchip/irq-madera.o