returned dma address value of dma_alloc_coherent, is it always in the lower 4GB range?