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