# CONFIG_MXS_DMA is not set