RE: [edk2] kernel memory allocation issue with uefi