Now printf with SMP spin_lock runs OK! The last minor bug is fixed
and the first version can release!

Reconstruct the code structure of x86/vmx.c and x86/vmx.h.

Arthur
Some minor changes.

Arthur
Add function vmx_exit()

Add vmx_exit() when receiving HLT from VM, then test VMXCLEAR and
VMXOFF instruction.

Arthur