[PATCH 04/17] Convert CONFIG_PCIE1 et al to Kconfig