Re: [PATCH] efi_loader: Fix memory corruption on 32bit systems