I had hoped I could avoid installing the OptiX SDK, because the official Blender download also doesn't require it. Appearantly, it ships with some precompiled kernels, but I don't know the distribution license of those files. Maybe this is non-oss material, but feel free to close as "wontfix".