gdb vkernel doesn't work at all anymore
gdb and vkernel (SMP or not) don't play well together anymore. I keep getting
to a state where the vkernel is in state "stop" and the vkernel is in "wait",
and nothing moves on. The only help is to kill gdb, which either makes the
vkernel run again, or kills it as well.