added POK_NEEDS_X86_VMM guard to kernel and libpok syscall.h
Merge remote-tracking branch 'upstream/master'