MIPS: More detailed description of r4k_on_each_cpu