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.