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

Set up out-of-source build for microkernel and kliblcd. This is
necessary because the common/ sources will be built for non-isolated
and isolated worlds (hence we can't do the in-source build - can't
build same source files with different configs in the same directory).

Developing a better solution for the liblcd config and hacks
so we can abstract the build over whether the source file is
built for non-isolated or isolated. Each environment defines a
pre- and post- hook header that should be placed appropriately
in source files for which we want to build for both environments.

For now, non-isolated pre- and post-hooks are empty since we don't
need to do any kernel build config hacks.