actually it shouldn't matter, switch on the laptop and press del a few times and it should go into the bios, wait a bit so its made it into the bios, then press f9 and enter, wait a second then press f10 and enter.
That should reset the bios to optimized defaults but you'll be doing it blind so...