vkernel64: Explicit VMSPACE_CTL_RUN after checkpoint is not necessary
vkernel64: Sync dmap before checkpoint