# CONFIG_PCIE_ALTERA is not set