Re: [U-Boot] [PATCH v4 5/7] arm: socfpga: Update DE1 environment