# CONFIG_PCIE_PTM is not set
