dw_dmac: use proper casting to print dma_addr_t values