So in summary:

VMware-tools-12.3.0-22234872-x86_64 has the drivers and installs correctly:
System devices
VMware VMCI Bus Device
and
Universal Serial Bus controllers
Standard Universal PCI to USB Host Controller

but

VMware-tools-12.3.0-22234872-arm lacks the drivers and shows:
Other devices
Base System Device
Orange exclamation mark
The drivers for this device are not installed. (Code 28)
and
Other devices
Universal Serial Bus (USB) Controller
Orange exclamation mark
The drivers for this device are not installed. (Code 28)

This means that VMware-tools ARM needs to be corrected!