Charles Jacobsen authored Feb 22, 2016 and Vikram Narayanan committed Oct 26, 2016

Host can successfully load LCD, using new interval tree/memory
object logic. (Still get EPT fault while booting LCD.)

Some fixes/changes:

    1 - Need to use page-level granularity for memory objects.
        Unlike alloc_pages, vmalloc is page-granularity (rather
        than power-of-2 page granularity).
    2 - The kernel module region base virtual address needs to
        match the host's upper 2GB address, because of how address
        calculations are done internally and because we use the
        host module loader with no linkage changes (it's possible,
        but not worth it right now). Add assertion to make sure
        this is the case.
    3 - Needed to make LCD the owner of its cspace (set owner
        pointer).