[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 c45525db00b498155aef250f8f49ed02ab43e331..87299c1ec0d74cd9060bb229518ea79d19e894d9 100644 (file)
--- a/cpu/ppc4xx/cpu.c
+++ b/cpu/ppc4xx/cpu.c
@@ -426,6 +426,9 @@ int ppc440spe_revB() {
 
 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