socfpga: add support for Terasic DE1-SoC board