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