[PATCH v2 24/35] common: Move reset_cpu() to the CPU header