[Ada] CUDA: use binder to generate kernel-registration code