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