[ARM] dma-mapping: improve type-safeness of DMA translations