Update docs for IPC_Endpoint#lock
Fix revamped locks in ipc_receiveEndpoint()