Existe la posibilidad de cambiar el tamaño de fuentes de la consola (modo texto)? Para que sirve la opción VGA del Lilo?