# CONFIG_PCIE_MOBIVEIL is not set