doc: short note on Xilinx stuff