As promised, here is an updated patch for the newly released 2.6.13-rc5. Boots 
and runs fine on P4HT (SMP+SMT kernel) built with gcc 4.0.1.

Cheers,
Con
---