[U-Boot] [PATCH] socfpga: add support for Terasic DE1-SoC board