Toggle cr3 instead

Signed-off-by: Ludvig Liljenberg <4257730+ludfjig@users.noreply.github.com>

Author: ludfjig

src/hyperlight_guest_bin/src/arch/amd64/dispatch.rs

@@ -61,11 +61,8 @@ core::arch::global_asm!("
     .cfi_startproc
     .cfi_undefined rip
     jnz flush_done
-    mov rdi, cr4
-    xor rdi, 0x80
-    mov cr4, rdi
-    xor rdi, 0x80
-    mov cr4, rdi
+    mov rdi, cr3
+    mov cr3, rdi
     flush_done:
     call {internal_dispatch_function}\n
     mov dx, {halt_port}\n