Luultavasti BIOSissa on mahdollista muokata käynnistyslaitteiden luetteloa, mihin myös nuo EFI-buutit sisältyvät.
Toinen vaihtoehto on käyttää jotakin live-Linuxia, jossa olisi efibootmgr asennettuna. Se on hyvin helppo komentorivityökalu. Pelkkä ”efibootmgr” näyttää tunnetut käynnistyslaitteet, esimerkiksi minulle tulee nyt tällainen luettelo:
BootCurrent: 0001
Timeout: 1 seconds
BootOrder: 0001,0015,0013,0016,0017,0011,0012,0002,0003,0004
Boot0000* neon
Boot0001* opensuse-secureboot
Boot0002* UEFI:CD/DVD Drive
Boot0003* UEFI:Removable Device
Boot0004* UEFI:Network Device
Boot0011* Hard Drive
Boot0012* CD/DVD Drive
Boot0013* Fedora
Boot0014* opensuse
Boot0015* debian
Boot0016* opensuse
Boot0017* debian
Halutut voi sitten poistaa valitsimella ”-Bb” + haluttu numero, sanotaan esimerkiksi:
sudo efibootmgr -Bb 17
…poistaisi jälkimmäisen Debianin.