[PATCH 10/18] nios2: Add a reset_cpu() function