Marcelo,

as I have posted before I do also have a SMP lockup problem with
2.6.0/2.6.1 and the de4x5 driver that still keeps me from using any of
the 2.6 kernel series. I have already created a bug report for this
including the NMI watchdog oops message:
http://bugme.osdl.org/show_bug.cgi?id=1855

Tom

-- 
  T h o m a s   Z e h e t b a u e r   ( TZ251 )
  PGP encrypted mail preferred - KeyID 96FFCB89
       mail pgp-key-request@hostmaster.org

UNIX is user-friendly ... it's just selective about who it's friends are