J'imagine qu'il est possible de créer un BIOS capable de formater un disque, il est même possible que ça existe dans certaines machines bien spéciales (serveurs, etc.), mais je n'en ai jamais rencontré.
Dup, étant donné que l'option doit être rarissime et que presque chaque ordinateur a un BIOS différent, ne t'attend pas à retrouver cette option dans la majorité des BIOS.
Ceci dit, il suffit de booter sur une disquette ou un CD pour pouvoir formater un disque. Le faire à partir du BIOS n'apportera rien.