[NVPTX] Fix a few style issues in NVVMReflect