[PATCH v2] arm: socfpga: Add the terasic de10-standard board