Re: [U-Boot] ARM: socfpga: add support for IS1 board