ARM: dma-mapping: fix nommu dma_alloc_coherent()