make it easier to override DEVICE_XILINX_KERNEL