> don't know the details.  I suspect that if you change the code near
> the top of pmap_syncicache() from:

Er, no, that won't work.  You'd need to yank the old implementation of
pmap_syncicache() from mpc6xx/pmap.c rev 1.48.