use linux-xlnx instead of device_xilinx_kernel