> >Changing the kernel text protection to read-only in cpu_configure()
> >seems a good workaround for me, at least for hpcarm.
> 
> Except that we would need to remember to put the same hack into every
> port as well.

Not every machine, but every supported CPU.  But that has to be done 
anyway, since this information is in CP15,r1 and there are a whole host of 
bits in that register that are cpu-specific (well, strictly they are 
architecture specific).

R.