* Fix the terminal_output command.  (This used to work but not with   the latest GRUB I guess.)
* Fix the terminal_output command.  (This used to work but not with
  the latest GRUB I guess.)


git-svn-id: 71c8032c709790ec749031c4215f8515ac00dc5a@22575 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb

bnordgren/nixos,bnordgren/nixos,bnordgren/nixos,bnordgren/nixos,bnordgren/nixos