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