Why do you need to get to the BIOS to format? Simply download a fresh version of W7 (I take it you have the licence key, on a sticker on the machine? Or else the key is baked into the BIOS). Once you have a bootable version of W7 on a usb drive, insert it, power up the machine and enter the boot menu, then boot from the usb.