# CONFIG_PCIE_MEDIATEK_GEN3 is not set
