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