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
As root or sudoer
efibootmgr
lists all entries Remove one with
efibootmgr -b 0010 -B
where 0010 is one of the entries listed
Boot0010* : Linux stuff