sock: fix a problem with RMA READ operations -- i did not handle correctly TX buffers when sending the RMA_READ_REPLY message
+ some minor code clean-up