Rockchip RK3288 has some 64-bit capable DMA and therefore needs
dma_addr_t to be a 64-bit size. One user is the Mali GPU.
Signed-off-by: NTao Huang <huangtao@rock-chips.com>
Signed-off-by: NHeiko Stuebner <heiko@sntech.de>