Re: [Linaro-uefi] [edk2] kernel memory allocation issue with uefi