[PATCH 09/17] sgiwd93: convert to dma_alloc_noncoherent