Re: [U-Boot] [RFC] efi_loader: Handle 32-bit memory overflows