Zynq SoC user-kernel demo

This pull request consists of Xilinx Zynq SoC openPOWERLINK user-kernel demo.

Tested using:
* Xilinx ISE 14.7 (Only 32bit tools are supported as cmake does not identify 64 bit GNU libraries)
* Xilinx Linux (branch xilinx-v14.7)

Please add documentation commit from the previous release branch or let me know if it shall be appended here.