intel_socfpga / socfpga-scripts