DF-5579 — fatal vkernel crash signature (baseline, unfixed kernel)

DEAD
DF5579 mode=trigger offset=0xe400000000 (KVA=[0x8000000000,0x10000000000))
Assertion failed: (x != NULL), function vtopde, file /usr/src/sys/platform/vkernel64/platform/pmap.c, line 357.

(vkernel process terminated by SIGABRT from assert() at pmap.c:357;
 run driver reports '=== vkernel alive? === DEAD')