What type of font is used on the linux console ... does it use console magic sequences and/or are console magic sequences given in /etc/sysconfig/console ...