# CONFIG_IDEDMA_AUTO is not set
