fix a bug in grub_halt.
2 files changed