[Linaro-uefi] kernel memory allocation issue with uefi