### NOTE: if performing these steps from e.g. USB, you will
### need to boot from an EFI-enabled live image and
### then load the efivarfs kernel module in order to
### make changes to EFI variables with efibootmgr
# root shell
sudo -s
# load EFI kernel module