diff --git a/repos/base-hw/src/core/spec/x86_64/mode_transition.s b/repos/base-hw/src/core/spec/x86_64/mode_transition.s
index 0883118b6..3bb669d37 100644
--- a/repos/base-hw/src/core/spec/x86_64/mode_transition.s
+++ b/repos/base-hw/src/core/spec/x86_64/mode_transition.s
@@ -115,6 +115,10 @@
 	popq %rsi
 	popq %rbp
 
+	/* Switch page tables */
+	mov CR3_OFFSET(%rax), %rax
+	mov %rax, %cr3
+
 	1: jmp 1b
 
 	/* end of the mode transition code */