Re: [PATCH] MIPS: Fix CP0 counter erratum detection for R4k CPUs