Without additional hardware, I don't think you can do this, at least not "cleanly".
USB A ports are meant to point "upstream" only, i.e. towards the host. Since you have two machines that you want to be devices, that only have A ports, you're a bit out of luck.
It might be doable with two of those USB-link cables and a hub, like so:
+--------+
[ ARM box OTG]----|B (hub) |
| |
| A A |
+--------+
| |
| |
[Intel box A]---[cable] [cable]---[A Intel box]
Above, [cable]
denotes the Direct cable connection cable, and the A/B/OTG symbols inside each box denote the type of connector being used on each. The OTG port is being used in A (host) mode.
Notes:
- I haven't tried this.
- It will require the ARM box to have dedicated software to drive the DCC cables, since they're actually active devices.
- No idea what is required on the Intel machines, probably more dedicated software.