Kernel for Trenz TE0720 (GigaZee) and Xilinx ZC702 boards.