> Can I do something to help getting it fixed?

Matt mentioned something about the I$ sync not working as expected on
MP machines because it's (now) done with relocation turned off.  I
don't know the details.  I suspect that if you change the code near
the top of pmap_syncicache() from:

#ifdef PPC_MPC6XX
        if (pa + len <= SEGMENT_LENGTH) {
                __syncicache((void *)pa, len);
                return;
        } 
#endif

to:

	__syncicache((void *)pa, len);
	return;

it will work.