doc: hints to get the Xilinx configuration working under Ubuntu