[PATCH v5 20/23] efi_loader: Correct address-usage in copy_fdt()