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