[U-Boot] [PATCH 1/4] x86: Add a function to assign IRQ numbers to PCI device