'make mgmt=0' will skip building the management code.  It is up to the
developer to ensure that a previously built tree is in place.

Signed-off-by: Avi Kivity <avi@cloudius-systems.com>