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

Per Anton's findings (see lcd commit), updated
location and install for include/linux/lcd-domains.h.

blob build appears correct. blob run won't be testable
until I get (minimal) guest virtual paging setup (I
forgot instruction fetches need paging properly set
up).