[NVPTX] Fix type error for some builtins in BuiltinsNVPTX.def