[Linaro-uefi] Passing Non-contiguous memory map to kernel on ARMv8

Hello Olivier and Expert,

I am trying to pass the non-contiguous physical memory map to kernel on ARMv8.

Can the UEFI pass non-contiguous physical memory area to the kernel?

I mean, Physical memory is divided into 0x80000000-0xFFFFFFFF(2GB) and 0x880000000- 0xFFFFFFFFF(30GB).

If possible, Could you explain how to describe in UEFI?

Otherwise, Could you let me know the reason?

Thanks,