Another way to reset the BIOS is to remove the BIOS battery for a few minutes, then re-inserting it.