taglinefilesource code
ORIG_VIDEO_EGA_BX1383drivers/char/console.cif ((ORIG_VIDEO_EGA_BX & 0xff) != 0x10)
ORIG_VIDEO_EGA_BX1402drivers/char/console.cif ((ORIG_VIDEO_EGA_BX & 0xff) != 0x10)