This RPC is used by the Kernel Lock Manager to terminate a process.
This is the PID of the process to be killed.
This is the global location to return the result. The result shuould be returned in ^XTMP, since it is translated between nodes.