Hook the Nomadik NHK platform restart code into the new restart hook.
Signed-off-by: Russell King
extern void cpu8815_map_io(void); extern void cpu8815_platform_init(void); extern void cpu8815_init_irq(void); extern void cpu8815_restart(char, const char *);
