# CONFIG_PCIE_ARMADA_8K is not set