Re: [U-Boot] [PATCH v3] ppc4xx: Add GDsys PowerPC 440 ETX board support.