# CONFIG_DW_EDMA is not set