added POK_NEEDS_X86_VMM guard to kernel and libpok syscall.h