xilinx_vivado: defines specific commands in platform