_Actually_ move the kernel to the last TiB.

More work on process page tables, including only mapping the last 2 pml4
entries (the highest 1TiB of the address space, ie, kernel space) into a
new table.

Includes the work of actually moving the kernel there, which I had
apparently done in name only previously. Oops.

src/kernel/main.cpp

@@ -84,7 +84,6 @@ kernel_main(popcorn_data *header)
 			header->frame_buffer_length);
 
 	init_console(header);
-	// pager->dump_blocks();
 
 	device_manager *devices =
 		new (&device_manager::get()) device_manager(header->acpi_table);