taglinefilesource code
s_charset824kernel/chr_drv/console.cs_charset  = charset;
s_charset837kernel/chr_drv/console.ccharset    = s_charset;