... and replace misuse of arch_reset() with arm_machine_restart().
Signed-off-by: Nicolas Pitre <nico@marvell.com>