Linux kernel from Xilinx with i-pipe patch