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