# CONFIG_K3_DMA is not set