[PATCH] Fix the arguments to machine_restart on cris