Index: sys/arm64/arm64/machdep.c
===================================================================
--- sys/arm64/arm64/machdep.c
+++ sys/arm64/arm64/machdep.c
@@ -1110,6 +1110,10 @@
 		    kern_getenv("kern.cfg.order"));
 
 	init_proc0(abp->kern_stack);
+
+	/* Set the base address of translation table 0 for proc0 */
+	thread0.td_proc->p_md.md_l0addr = abp->kern_l0pt - abp->kern_delta;
+
 	msgbufinit(msgbufp, msgbufsize);
 	mutex_init();
 	init_param2(physmem);