Re: [U-Boot] [PATCH] drivers: pci: ignore disabled devices