Use OpenCL on AWS with Xilinx SDAccel