MKR Vidor 4000 not in the control panel

Do you mean windows' "Device manager", or Arduino IDE's board manager?