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