kernel memory allocation issue with uefi