sys: platform: pc32/vkernel/vkernel64: vmm.h: add stub functions
sys: kern: sys_vmm_guest_ctl.c: remove debug printfs
sys: kern: kern_exit.c: add hook for vmdestroy
sys: platform: vkernel64: x86_64: mp.c: add support for SMP in VMX non-root
sys: platform: pc64: vmm: vmx.c: replace lwkt_wait_ipiq with cpusync stuff
Merge branch 'virt_ept' of http://github.com/mihaicarabas/dragonfly into virt_ept