It's not usually necessary to change anything in the BIOS. Did anyone mention the one-time boot menu? On my Dell, just press F12 when booting starts to interrupt the booting and get that menu. See...