vmm.c: vmm_update_context() copies only kernel