[PATCH v2 03/21] ppc: Add a reset_cpu() function