printfing dma_addr_t as %lli requires a cast, since it may be a 32-bit
item, like it is on my computer. I got meaningless numbers on printk.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>