Linux support for SOCFPGA