Estoy usando la opción de elegir el tipo de letra desde el arranque de linux; como aconsejaron al editar lilo con la opción vga=ask. Es precisamente lo que yo quería hacer. Sirva este mensaje para dar las gracias a los que respondieron. Marcos Delgado, a punto de tomar sus vacaciones de fin de año.