Hook these platforms restart code into the new restart hook rather than using arch_reset().
Acked-by: Linus Walleij Signed-off-by: Russell King
void integrator_init_early(void); void integrator_reserve(void); void integrator_restart(char, const char *);
