taglinefilesource code
ORIG_VIDEO_LINES1367drivers/char/console.cvideo_num_lines = ORIG_VIDEO_LINES;
ORIG_VIDEO_LINES468init/main.csprintf(term, "TERM=con%dx%d", ORIG_VIDEO_COLS, ORIG_VIDEO_LINES);