HPS OpenCL Kernel 4+ issues

Hey Folks,
As we know the SOCFPGA sources for the 3.X kernels are removed and Intels Drivers dont work with the 4.x+ versions. Our Project relies on the HPS - OpenCL combo so since 8-9 months i am talking to Intel about it. Now it gets moving. If anyone want to follow the Post here is the Link to the Intel Forum post.
“Dear mods if this Link is against policies please tell me.” I think this is of Intrest of everyone using the HPS and OpenCL…
The issue writeup contains two issues, one Kernel / Environment related and one Driver related.

Greetings to the Community…