kernel debug kit for 19B88?

I'm not finding a kernel debug kit for 19B88 (10.15.1) on the "More Software Downloads" page - is there one somewhere else? If not, is one coming soon?

We're seeing a panic during boot with a kext, would prefer to avoid printf() debugging.