# CONFIG_IDEDMA_PCI_AUTO is not set
