Dear Mark,
Are you passing a 'console=' option to the kernel, like 'console=ttyCPM0' or
'console=ttyCPM1'.
No. I was not passing any option (besides the standard NFSROOT options
(root=/dev/nfs rw nfsroot= ip=).
Actually, the trick suggested by Jean-François Simon (disabling the
virtual terminals option in the kernel configuration) solved the problem
(please see my previous post).
Thanks for your interest anyway.
Jean-Marie