# CONFIG_DMA_SUN4I is not set