vm.vkernel_enable: 1 -> 1
[*] DF-0952 ve->refs leak probe
[+] vmspace_create(id=0x1234) = 0
[*] vmspace_destroy(id=0x1234) on fresh ve: rc=0 errno=0
[+] destroy succeeded on uncontended ve (no EBUSY possible, no leak)
[*] To trigger the cited panic: concurrent sys_vmspace_ctl(RUN) + destroy
[*] requires real vkernel setup with valid trapframe in the foreign vmspace
[*] recreate vmspace_create: rc=0
[*] destroy: rc=0 errno=0