Miscellaneous HDL build, and scalability for WCI.
Better Xilinx Zynq Linux build for drivers