kernel crash at shutdown/reboot

I'm seeing kernel crashes at shutdown/reboot. This is with FreeBSD 
13.2-RELEASE for POWER9 (big endian) running on a KVM virtual machine on 
a Linux host using UFS. I tested on a 2nd VM and I'm able to reproduce 
the result.

It seems the crash dumps from this are invalid... I was able to grab a 
screenshot of the crash as it went by, I've attached it.

Maybe this is happening because I'm using virtio storage with ppc64?

Trying to load the core dump is unsuccessful. Is this because it's a 
storage related crash? Or because I need a kernel built with debugging 
enabled?
kgdb /boot/kernel/kernel /var/crash/vmcore.0
GNU gdb (GDB) 13.1 [GDB v13.1 for FreeBSD]
Copyright (C) 2023 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later 
<http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
Type "show copying" and "show warranty" for details.
This GDB was configured as "powerpc64-portbld-freebsd13.2".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
<https://www.gnu.org/software/gdb/bugs/>.
Find the GDB manual and other documentation resources online at:
    <http://www.gnu.org/software/gdb/documentation/>.

For help, type "help".
Type "apropos word" to search for commands related to "word"...
Reading symbols from /boot/kernel/kernel...
Reading symbols from /usr/lib/debug//boot/kernel/kernel.debug...
Failed to open vmcore: invalid corefile