Charlie Jacobsen authored May 30, 2014 and Vikram Narayanan committed Oct 25, 2016

New memory layout in lcd_defs.h, with macros.
-- no idt, tss, or interrupt service routines

Started re-factoring lcd address space initialization.
vmx_setup_initial_page_table will soon be replaced by
lcd_setup_addr_space.
-- lcd_setup_initial_ept for alloc'ing and mapping
   host physical memory
-- re-factored some of the ept code to make the interface
   cleaner
-- need to think about locking the ept, where it should
   be done
-- soon will have lcd_setup_initial_virt, or something
   similar, for initializing guest virtual page tables.

Copied map_gva_to_gpa routine to new tools/lcd/liblcd/vm.c.
This is where liblcd will go. liblcd will contain utilities
an lcd can call.