At the moment we have `XILINX_SDACCEL` and `XILINX_SDX`. As far as I can tell these should be the same, and we should converge on one of these?