Did you add the efi file to the UEFI entries using efibootmgr. If you don't do that, the system will of course always boot "/EFI/Boot/bootx64.efi".
As far as I know, no UEFI bios will search for "*.efi" files. You need to add them explicitly by running:
sudo efibootmgr --create --loader '\EFI\whatever\grubx64.efi' --label 'My Installed OS'
Power management, mobile and firmware developer on Linux. Security developer at Aurora. Ex-biologist. mjg59 on Twitter. Content here should not be interpreted as the opinion of my employer. Also on Mastodon.
no subject
Date: 2012-11-16 08:09 pm (UTC)