Charlie Jacobsen authored Jun 01, 2014 and Vikram Narayanan committed Oct 25, 2016

The main makefile will now go in virt/lcd. The
lcd-vmx.h header will be in the standard include
path, and I can reference the x86-dependent code
from there, so it should all just work (build not
tested yet, will do so soon).

Small change to lcd-vmx.c: Made sure I freed
msr bitmap page on failure.