Comment # 32 on bug 934395 from Thorsten Staerk

I ran /sbin/shutdown -h -P now manually 15 times and all 15 times it succeeded
to power off the machine. Seems the problem only comes if I issue halt or if I
use the graphical button to shut down.

# alias halt
bash: alias: halt: not found

How do I remove the quiet boot option? /boot/grub/menu.lst has vanished :(