NG_TTY_DFL_HOTCHAR
NG_TTY_DFL_HOTCHAR /* XXX can't change this in serial driver */
sc->hotchar = NG_TTY_DFL_HOTCHAR;