\r
// Try to put the kernel at the start of RAM so as to give it access to all memory.\r
// If that fails fall back to try loading it within LINUX_KERNEL_MAX_OFFSET of memory start.\r
- LinuxImage = PcdGet32(PcdSystemMemoryBase) + 0x80000;\r
+ LinuxImage = PcdGet64 (PcdSystemMemoryBase) + 0x80000;\r
Status = BdsLoadImage (LinuxKernelDevicePath, AllocateAddress, &LinuxImage, &LinuxImageSize);\r
if (EFI_ERROR(Status)) {\r
// Try again but give the loader more freedom of where to put the image.\r