# CONFIG_PCIEPORTBUS is not set
