Xockets updates for Xilinx Linux