Linux device driver for dma buffer using dma_alloc_coherent()