Index: sys/arm64/arm64/machdep.c
===================================================================
--- sys/arm64/arm64/machdep.c
+++ sys/arm64/arm64/machdep.c
@@ -715,6 +715,10 @@
 	thread0.td_pcb->pcb_vfpcpu = UINT_MAX;
 	thread0.td_frame = &proc0_tf;
 	pcpup->pc_curpcb = thread0.td_pcb;
+
+	/* Set the base address of translation table 0. */
+	__asm __volatile("mrs %0, ttbr0_el1"
+	    : "=r" (thread0.td_proc->p_md.md_l0addr));
 }
 
 typedef struct {