# CONFIG_PCIE_MEDIATEK is not set
