InfinityBook S14 Gen 6 BIOS & EC update

My Tuxedo InfinityBook S 14 Gen 6 recently received BIOS and EC updates. Unfortunately after the update I was left without an EFI entry in the BIOS which did not allow me to boot anymore.

To fix this issue I booted from a usb drive with arch linux on it and ran the following commands:

1mount /dev/nvme0n1p1 /mnt/boot
2mount /dev/nvme0n1p2 /mnt
3arch-chroot /mnt
4grub-install --target=x86_64-efi --efi-directory=/boot --bootloader-id=GRUB
5grub-mkconfig -o /boot/grub/grub.cfg
6reboot

And this should restore the EFI entry and boot right away. Possibly you would have to rearrange boot priority after this operation.