Splashtop is NOT in the BIOS, it is on hd or internal (with my script also external) usb drive. Only a small part of it can be in the BIOS to show the menu selection early. Basically it is a fake menu, it is not much more than a graphical boot menu, nothing else has been loaded at this time.