DE!-SOC and OpenCL SDK Version 16.0

This might be an incorrect answer, but i am just trying to save you some time.

Download version 14.0 of the tools and build the application/kernel with it. I tried to hack around it but it did not seem to work. There is a more recent version of the linux image available at http://people.ece.cornell.edu/land/courses/ece5760/de1_soc/hps_peripherials/index.html ("LINUX 2016 image" link).