Re: [U-Boot] [PATCH 7/7] x86: bayleybay: Configure PCI IRQ