[TF-A] How to map a physical address using `mmap_add_dynamic_region_alloc_va`?