Set integer kernel arg value
Changed the benchmark kernel