dma-mapping: DMA_COHERENT_POOL should select GENERIC_ALLOCATOR