Edit grub file from live USB stick

I tested it, and it worked perfectly! :grinning_face:

But how to adapt the line
sudo mount /dev/sda1 /mnt/boot/efi
for users with a legacy BIOS? It is not shown in the guide.