# CONFIG_PCIEPORTBUS is not set