Clear up BIOS boot menu entries

So there are a lot of bogus entries in the EFI selection list of your bootmenu.