Atualização do Windows 10 excluiu o arquivo grubx64.efi

Question

Sempre tive problemas com o Win10 e o Arch de inicialização dupla, onde a única solução era:
0. Montar partições com arco vivo e arch-chroot
1. renomear grubx64.efi para bootmgfw.efi
2. coloque o original bootmgfw.efi na pasta diferente
3. coloque grubx64.efi (renomeado para bootmgfw.efi) em efi/Microsoft/Boot/
4. criar menuentry personalizado para nova localização do arquivo win10 efi (uma vez)

Após cada atualização do win10, tive que repetir estes passos (exceto o 4), já que o win10 colocou o arquivo original bootmgfw.efi em efi/Microsoft/Boot . Mas desta vez, após a atualização, estou perdendo meu arquivo grubx64.efi .

A minha pergunta é: como restaurar o grubx64.efi?

No entanto, tenho outros arquivos do grub, se forem úteis:

# ls boot/grub/
fonts/    grub.cfg    grub.cfg.pacnew    grubenv    locale/    themes/    x86_64-efi/
# ls boot/EFI/
Boot/    grub/    HP/    Microsoft/
# ls boot/EFI/grub (it's empty)

Além disso, há grub.efi em boot/grub/x86_64-efi/ (talvez seja útil).