changed default kernel to 3.10 for machine socfpga