I had not. I used a third party tool that probably didn’t write the correct boot record. I have rewritten the image with the Rockchip tool, with SD Boot enabled, and the result was identical. The system did not boot, or display anything. After disabling DIP switch 2, again the Debian installation does not see the microSD card. Just to be on the safe side, I rewrote the image to a second, brand new microSD card and tried that as well, with the same negative results. I’m using 64 GB microSD cards.
Are the PCIe routing problems likely to be fixed with a driver/kernel update or will a new hardware revision be required?
The PCIe routing problems will be fixed with a driver update.