> > If your problem is what I think it is, a fix was committed yesterday.
> > Do you have revision 1.147 of sys/arch/arm/arm32/pmap.c?
> 
> Thanks!
> 
> I only have the 1.146; 1.147 seems not to be available yet.

I have it now; it rocks!

Thanks again.