They are in koji.
You'll need kernel, kernel-core, kernel-modules for most baremetal
installations; so what I do is just click on those three for my arch,
and 'sudo dnf install *rpm' and they get installed. You might also
want kernel-headers and kernel-devel depending on what you're doing.
The 4.9.0 final release is a nodebug kernel, which is what that URL
For rc1+ kernels, you'd get a git0.1 build which has nodebug and
explicitly named debug kernels. The git1+ kernels are typically debug,
there aren't any nodebug. The best way to know for certain is to read
the changelog, that'll tell you if debug was recently enabled or
disabled (and it's a sticky change so it applies until the log says
it's changed). Right now there are rc0 builds only and it looks like
those are all debug.