Not really, but once you've patched the driver, run dkms status and dkms build <id from status> (e.g. dkms build nvidia/580.76.05) to rebuild the driver for your current kernel.
When you get it working, it'll be a good idea to write a little guide here for other people to follow.
Maybe look into using the pstore, it can store kernel panics in ACPI or UEFI variables to be read by the next boot. Usually this is accessible at
/sys/fs/pstore, but if systemd-pstore is installed then it should be in the journal, but it can also be here:/var/lib/systemd/pstore.