Reclaim bootloader page table pages

src/hulk/hulk.d

@@ -64,7 +64,6 @@ void hulk_start()
 
     klog.writefln("Welcome to HULK, the HOS UltraLight Kernel!");
 
-    hippo.initialize(&hulk_header);
     hurl.initialize(&hulk_header);
     pci.initialize();
     pic.initialize();