[PATCH v2 1/1] efi_loader: architecture specific UEFI setup