[PATCH v10 07/11] device-mapping: Introduce DMA range map, supplanting dma_pfn_offset