Re: [PATCH] efi_loader (v2): Expose relocated address for gdb debugging purposes