L4Re: MIPS SMP cache initialisation may be broken for some CPUs