[PATCH] 4xx: Fix problem with board specific reset code

Signed-off-by: Stefan Roese <sr@denx.de>
diff --git a/cpu/ppc4xx/cpu.c b/cpu/ppc4xx/cpu.c
index c45525d..87299c1 100644
--- a/cpu/ppc4xx/cpu.c
+++ b/cpu/ppc4xx/cpu.c
@@ -426,6 +426,9 @@
 
 int do_reset (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[])
 {
+#if defined(CONFIG_BOARD_RESET)
+	board_reset();
+#else /* defined(CONFIG_BOARD_RESET) */
 #if defined(CFG_4xx_RESET_TYPE)
 	mtspr(dbcr0, CFG_4xx_RESET_TYPE << 28);
 #else