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

Following the Linux kernel src layout, moved the vt-x code
into a separate arch folder. Moved headers around:

   -- Microkernel/kliblcd arch-independent headers are in
      include/lcd_domains
   -- Microkernel arch-dependent headers are in arch/x86/include
   -- liblcd headers are in include/liblcd

Switched some file/dir names to use `_` instead of `-`.