DeviceType defines in ocl kernels

Signed-off-by: Dirk Ribbrock <dirk.ribbrock@math.uni-dortmund.de>
TEMP ocl benchmarking

Signed-off-by: Dirk Ribbrock <dirk.ribbrock@math.uni-dortmund.de>