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

Completed lcd_setup_addr_space (replaced
vmx_create_initial_page_table). lcd_setup_addr_space
allocates and maps the guest physical and virtual
memory needed for the lcd when it first enters.

The code should be easily extendable for a different
address space layout. Guest virtual and ept mapping
code is now fairly symmetric and easier to understand.

Comment headers for ept and gva functions.

Next up: seeing if I can build, and get it to run.
Then I'll merge with the main branch (lcd).