fkvm_userpoke syscall - manual changes