Try to connect Arch Mix board to windows.
The windows does not recognizes the usb connected to the OTG port.
Tried also to boot the board to Arduino configuration with the NXP
Using NXPBooTUtility to Flash Arduino Bootloader. After setting to 0001 and connecting the RX To 3.3 . The NXP shows no Found.