# CONFIG_PCIE_ROCKCHIP is not set