I noticed that there was a new u-boot image for the RPi4: uboot-images-armv8-2020.04-0.2.rc1.fc32.noarch.rpm so I gave it a try. With that u-boot image, once Linux booted, ethernet was not functional. It appeared to come up, but it couldn't do dhcp to get an address. I tried applying an address manually, but that didn't work either.

I reverted to the uboot-images-armv8-2020.01-1.fc32.noarch.rpm version and ethernet worked properly.

I then tried rebuilding u-boot 2020.04-0.2.rc1 from source, but without the "Ethernet-support-for-Raspberry-Pi-4.patch" file and ethernet worked.

Has anyone else observed this behavior?

Steve