Dear Stuart,you took some time for me. I have now performed all the things that were suggested by you and Mark Kettenis. The speed is 100x faster, but still 100x slower than the beagle bone black.
I have used the bootloader from here: https://github.com/pftf/RPi4/releases/tag/v1.13
(downloaded yesterday) I have replaced bcm2711-rpi-4-b.dtb fixup4.dat start4.elf from here: https://github.com/raspberrypi/firmware/tree/master/boot (downloaded yesterday)(my previous idiocy was to try it with html files; I did not click on the github links, but saved them -- github does not give you the files, but gives you an HTML page where you need to click on the download link)
I have used minirootfs67.iso for the installation and installed(downloaded after the official release date from the official repository, installed yesterday)
I have tried all 3 settings: ACPI, Devicetree and ACPI+Devicetree (no discernible differences to my untrained eye)
Attached I send the capture. First I give you the requested DMESG, then I give you IFCONFIG (it is placed in the switch port of my beagle bone openbsd firewall and .100.100 is the ISP router; the switch port gives that to me on VLAN100. You can see ping times of 4...115 msec. Next I neutralise the VLAN interface and put the IP address on the direct interface BSE0. With the RPi4 plugged straight into the ISP router I now you see ping times of 1/3 msec.
You could argue it is my switch, except the 1/3sec is representative of what I get with the beagle bone black and my old openbsd going via the vlan to the router.
I would greatly appreciate if you could take the time to look at my capture file and point out to me where I can see whether it is using rgmii-rxid as it should and what I can do to make it fly.
Many thanks, Oliver
minicom.cap
Description: Binary data