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