grub2 changes: use ascii.pf2 as grub2 font; support terminal_output command