# CONFIG_PCIE_DW_PLAT is not set