# CONFIG_DMA_COHERENT_POOL is not set
