mips_r4k: fix reset