Flush TLB after killing 1 GB identity mapping

ab62a842 · Silas Boyd-Wickizer · 6dea4a0b · ab62a842
--- a/main.c
+++ b/main.c
@@ -115,6 +115,7 @@ cmain(u64 mbmagic, u64 mbaddr)
  inituser();      // first user process
  bootothers();    // start other processors
  kpml4[0] = 0;    // don't need 1 GB identity mapping anymore
+  lcr3(rcr3());

  scheduler();
  panic("Unreachable");