武藤さん、どうも分かりやすい説明を有り難うございます。 私の場合、EDID for output VGA1 (Xorg.0.log) でしたので、 $ sudo vim.tiny /etc/default/grub で、 GRUB_CMDLINE_LINUX="" を GRUB_CMDLINE_LINUX="video=VGA-1:640x480" に変更して、 $ sudo update-grub して、普通の大きさの文字にすることができました。 武藤さん、青木さん、雅さん、有難うございました。