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