zynq: kernel patches are git firendy

Set of patches for the linux kernel comprehending the Xilinx ZC702 and Open
Virtualization