vkernel64: Prevent other CPUs from interfering with checkpointing
vkernel64: Use allproc_scan() for restoring vmspaces
vkernel64: Remove superfluous debug message