vmm: Allow vmm.h to include vmx.h