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

Signed-off-by: Stefan Roese <sr@denx.de>

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