Terasic DE5-Net Now a Certified OpenCL Network Platform