Merging 64 bit changes to -HEAD

[Luiz Otavio O Souza]

> Thanks for the the update. Looks like pmap_map for kernel is failing,
> may be the new tlb_update code causes this.  Can you apply the
> attached patch and see if the problem still persists, it replaces the
> new tlb_update code with the older version.
> 
> Obviously not a fix, but if we can narrow it down to this function,
> fixing will be easier.
> 
> JC.
> <try.diff>

JC,

This fix the problem ! Thanks ! Now, at least, you know where to look :)

Luiz