Re: [coreboot] [edk2] Passing Xen memory map and resource map to OVMF