No puedes formatear un disco duro desde la BIOS. Slo puedes cambiar el orden de arranque para que tu ordenador busque un CD, DVD o memoria USB de arranque del SO. Si quieres formatear el disco duro sin el SO, tienes que crear una memoria USB o CD/DVD de arranque y arrancar desde l para realizar el formateo.