Actually can you grab dfu-util and type in dfu-util -l and see if the xmos chip shows up for a start, I actually got confused with this one and the vxf3800
Could also double check your cable is a data cable if its micro USB, ran into this issue many times with other devices