Re: [PATCH 0/4] Remove addr parameter from reset_cpu()