rgbd: some kernels fail build

[tomoaki0705]

System information (version)

• OpenCV => recent master (ea41f89)
• Operating System / Platform => Ubuntu / ODROID-C4
• Compiler => GCC 9.3.0

Detailed description

[==========] Running 22 tests from 11 test cases.
[----------] Global test environment set-up.
[----------] 4 tests from KinectFusion
[ RUN      ] KinectFusion.lowDense
OpenCL program build log: rgbd/tsdf
Status -11: CL_BUILD_PROGRAM_FAILURE
-cl-mad-enable
<source>:1:9: error: unknown type name '__INT8_TYPE__'
typedef __INT8_TYPE__ int8_t;
        ^

<source>:63:20: warning: double precision constant requires cl_khr_fp64, casting to single precision
if(fabs(zStep.z) > 1e-5)
                   ^

error: Compiler frontend failed (error code 60)

unknown file: Failure
C++ exception with description "Failed to create kernel: <source>:1:9: error: unknown type name '__INT8_TYPE__'
typedef __INT8_TYPE__ int8_t;
        ^

<source>:63:20: warning: double precision constant requires cl_khr_fp64, casting to single precision
if(fabs(zStep.z) > 1e-5)
                   ^

error: Compiler frontend failed (error code 60)
" thrown in the test body.
[  FAILED  ] KinectFusion.lowDense (553 ms)

Removing this line satisfies the boards I own

opencv_contrib/modules/rgbd/src/opencl/tsdf.cl

Line 7 in d733a80

typedef __INT8_TYPE__ int8_t;

Steps to reproduce

Run opencv_test_rgbd

Issue submission checklist

• I report the issue, it's not a question
• I checked the problem with documentation, FAQ, open issues,
  answers.opencv.org, Stack Overflow, etc and have not found solution
• I updated to latest OpenCV version and the issue is still there
• There is reproducer code and related data files: videos, images, onnx, etc