[U-Boot] Question about PCIe configuration