Jump to the mips reset vector. OR in the 0x80000000 for kseg0 and

cast it to a long so it will work on 64-bit targets.

reset now works on octeon, so I don't have to power cycle the board as
often.

sys/mips/cavium/octeon_machdep.c

@@ -99,7 +99,7 @@ platform_cpu_init()
 void
 platform_reset(void)
 {
-	((void(*)(void))0x1fc00000)();	/* Jump to this hex address */
+	((void(*)(void))(long)0x9fc00000)();	/* Jump to MIPS reset vector */
 }