[PATCH v3 04/22] nios2: Add a reset_cpu() function