Hook the Shark restart code into the new restart hook rather than using arch_reset().
Signed-off-by: Russell King
#define ARRAY_AND_SIZE(x) (x), ARRAY_SIZE(x) struct sys_timer; extern void timer_init(int irq); extern void __init icu_init_irq(void); extern void __init mmp_map_io(void); extern void mmp_restart(char, const char *);