Ya, por fin, he arreglado lo de imprimir. El fallo estaba en que me
faltaba por habilitar la opción PC-Style (o algo así) en el "General Setup"
de la configuración del kernel.
Gracias a todos, en especial a Jaime E. Villate que fue el que me dio la
solución concreta.
Un saludo.
Emilio.