Re: [U-Boot] [PATCH v4 1/1] socfpga: Adding configuration for development kit