grub_cmd_echo.in 925 Bytes