Carolin, please try running sudo efibootmgr -o 0002,0001, reboot, and see if that fixes it. Also run sudo efibootmgr -v after the reboot again.
Could both of you also run md5sum on /boot/efi/EFI/Microsoft/Boot/bootx64.efi? And have you both used boot repair in the past to get the system booting? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1533258 Title: Selecting grub entries (efi) at boot time leads to "error: symbol 'grub_efi_find_last_device_path' not found" To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1533258/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs