target-ppc: Explain why the whole TLB is flushed on SR write