Hey there,
if you are having issues with switching the usb/PCIe mux, you can try switching the port using kbi
you can do so with the recovery system called krescue
general question. Does this file not exist for all the mainline kernels and if it does not is Krescue the intended way to switch or are there other options?
Use the minicom terminal option on the host (ubuntu box), use a CP2102 USB adapter and set the dip switches for TTL. You need 3 dupont wires with females on both ends to connect to GPIO pins.
FYI, if you use a CP2102 on a windows box you MUST install the correct driver that comes directly from their website or it will not work properly. No special driver is needed on Ubuntu 20 & 21
Instructions in the VIM manual are correct for the minicom setup.