Re: [U-Boot] [PATCH 6/6] sbc8548: allow enabling PCI via a make config option