src/cupti: Make use of cuda_extras