====== INTRO ======
I dislike UEFI, but it clearly boots faster OSes that uses it... One of the crap left behind are entries in the "BIOS" if you install different distributions
====== Cleaning ======
===== Efibootmgr =====
As root or sudoer
<code bash>efibootmgr</code>
lists all entries
Remove one with
<code bash> efibootmgr -b 0010 -B</code> where 0010 is one of the entries listed <code>Boot0010* : Linux stuff</code>


====== References ======
  * https://digitalrobin.net/2020/07/11/how-to-remove-old-efi-boot-entries-in-linux/