Zynq SoC user-kernel demo

This pull request consists of Xilinx Zynq SoC openPOWERLINK user kernel

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)