Si ça te dis "System Halted", c'est que tu peux couper le courant sans crainte.
Sinon, c'est pas du tout une bonne idée de mettre à jour le BIOS alors.
Pour le acpi=force, tu cherches le premier bloc qui ressemble à :
title Debian GNU/Linux, kernel 2.6.18-6-686
root (hd0,1)
kernel /boot/vmlinuz-2.6.18-6-686 root=/dev/sda2 ro
initrd /boot/initrd.img-2.6.18-6-686
savedefault
Et tu rajoute acpi=force à la fin de la ligne kernel
kernel /boot/vmlinuz-2.6.18-6-686 root=/dev/sda2 ro acpi=force