[PATCH 11/18] riscv: Add a reset_cpu() function