If UEFI is used for booting, BIOS needs to be changed!!!
cryptsetup luksOpen /dev/sdaX root
mount /dev/mapper/root /mnt
# if lvm is used use volume group for root to mount, e.g. /dev/vg0/root /mnt
mount /dev/sdaX /mnt/boot
mount /dev/sdaX /mnt/boot/efi
arch-chroot /mnt /bin/bash
reinstall the programs to be safe, need 'linux' so the *.img files are generated if WiFi is used probably you need to check wifi-menu first
pacman -S --force linux grub os-prober efibootmgr
mkinitcpio -p linux
bootloader-id: name can be checked by looking into EFI/$PATH
grub-install --target=x86_64-efi \
--efi-directory=/boot/efi \
--bootloader-id=arch \
--recheck
--debug
/dev/sda
grub-mkconfig -o /boot/grub/grub.cfg
efibootmgr -n 3
exit
reboot