[FIX] Rename Xilinx hardware cmake project directory

The cmake files are not specific to Microblaze, hence, they are renamed
to be generic for Xilinx FPGA/SoC hardware.
This fix is needed for hardware platforms with Microblaze and Xilinx ARM
(Zynq).

Change-Id: I43cb10090d20d6f7212842fe1393a086c2c43d25
Signed-off-by: Joerg Zelenka <joerg.zelenka@br-automation.com>
[TASK] Add cmake configuration files for Zynq Xilinx ARM

- Add toolchain file for Xilinx ARM EABI
- Add cmake support for Xilinx ARM bare-metal

Change-Id: I301574e4d2588fc2da11efa30567ba9d0c08ab33
Signed-off-by: Joerg Zelenka <joerg.zelenka@br-automation.com>
[TASK] Add Eclipse files for Xilinx ARM SDK

Change-Id: I5260e840ebd05d30ae9882f601be28bab65ca075
Signed-off-by: Joerg Zelenka <joerg.zelenka@br-automation.com>
[TASK] Update BSP and bitstream to support Zynq

- Update BSP generation marco to add optional bootloader compilation.
- Add installation steps for additional files required for Zynq
  platforms.

Change-Id: I5578602ccd46cc9898cefb292e1d16323b9aedd5
Signed-off-by: Joerg Zelenka <joerg.zelenka@br-automation.com>
[FEATURE] Add Xilinx ARM target system

- Modify targetsystem.h to include dependencies and compiler support
  for target Xilinx ARM
- Add stack support files for target Xilinx ARM

Change-Id: I254f69f5b95ad54ca690825eae461c3e7d1a5592
Signed-off-by: Joerg Zelenka <joerg.zelenka@br-automation.com>
[FEATURE] Add benchmark support for Xilinx ARM

Add benchmark support for Xilinx ARM using GPIO IP-Core in FPGA part of
Zynq.

Change-Id: I7176f2ccb9bb32be414e118cf75bd0a8630b7b64
Signed-off-by: Joerg Zelenka <joerg.zelenka@br-automation.com>