Pass page table address range to HULK on boot

src/hulk/bootinfo.d

@@ -67,4 +67,10 @@ struct BootInfo
 
     /* Physical address of stack while jumping to HULK. */
     ulong stack_phys;
+
+    /* Physical address of page tables while jumping to HULK. */
+    ulong pt_phys;
+
+    /* Size of page tables while jumping to HULK. */
+    ulong pt_size;
 }