[U-Boot-Users] Query regarding PCI interrupt controller