How can I make dma_alloc to use the device's reserved memory?