Fix Fatal irq: no irq domain found for /ocp/interrupt-controller@48200000