[PATCH v2 04/21] nios2: Add a reset_cpu() function