I recompiled the kernel with the mentioned patch.The system boots OK, I will watch dmesg for a few days to see if the problem is actually solved.
Regards,
Bergonz
--
Ing. Michele Bergonzoni - Laboratori Guglielmo Marconi S.p.a.
Phone:+39-051-6781926 e-mail: bergonz@labs.it
alt.advanced.networks.design.configure.operate