taglinefilesource code
s_charset1260drivers/char/console.cs_charset  = charset;
s_charset1273drivers/char/console.ccharset    = s_charset;