Not end-user usable software, as far as I can tell. It appears that some people have built 64 bit kernels but with many features broken or missing.

Ultibo may soon be working in 64-bit mode: https://ultibo.org/forum/viewtopic.php?t=60