Re: [PATCH 07/18] mips: Add a reset_cpu() function