cmake HAVE_VMCS_CONFIG examples

raspberrypi/userland makefiles/cmake/vmcs.cmake :35 

add_definitions(-DHAVE_VMCS_CONFIG)