device_xilinx_kernel -> linux-xlnx