Dieses Problem wird voraussichtlich in einer zukünftigen Version des Intel FPGA SDK für OpenCL-Software behoben.