On my eepc I press ESC to get the boot manager. If you use the boot managerthen you don't need to change the BIOS at all.