[fedora-arm] PCIe slot on Raspberry Pi CM4

I am trying to connect an i210-T1 to the PCIe slot on a Raspberry Pi CM4 with the official IO board. The problem is it won't boot. I tried this in Fedora 38 initially. Now I've installed a recent nightly (Fedora-Server-39-20230828.n.0.aarch64.raw.xz) and I've connected a USB TTL adapter. It appears to be a U-Boot problem. I get the following over and over again

U-Boot 2023.10-rc3 (Aug 21 2023 - 00:00:00 +0000)

DRAM:  992 MiB (effective 7.9 GiB)
RPI Compute Module 4 (0xd03141)
Core:  212 devices, 16 uclasses, devicetree: board
MMC:   mmcnr@7e300000: 1, mmc@7e340000: 0
Loading Environment from FAT... Unable to read "uboot.env" from mmc0:1...
In:    serial,usbkbd
Out:   serial,vidconsole
Err:   serial,vidconsole
Net:   eth0: ethernet@7d580000
PCIe BRCM: link up, 2.5 Gbps x1 (SSC)
"Error" handler, esr 0xbf000002
elr: 00000000000b52b0 lr : 00000000000b526c (reloc)
elr: 000000003df812b0 lr : 000000003df8126c
x0 : 000000000000dead x1 : 0000000000100000
x2 : 0000000000008000 x3 : 00000000fd508000
x4 : 000000003db399f0 x5 : 0000000000000001
x6 : 000000003df82bb8 x7 : 000000003db39fc0
x8 : 000000003df82c90 x9 : 000000003db3992c
x10: 0000000000000002 x11: 0000000000000140
x12: 000000003db39918 x13: 000000003db39fc0
x14: 00000000ffffffff x15: 000000003db39b78
x16: 000000003df82c90 x17: 0000000000c0c0c0
x18: 000000003db47d60 x19: 000000003db399f0
x20: 0000000000000001 x21: 000000003db53f00
x22: 0000000000000000 x23: 0000000000010000
x24: 000000003dfc58fc x25: 000000000001ff00
x26: 000000000000ffff x27: 0000000000000000
x28: 000000003db53b10 x29: 000000003db39950

Code: 350001f4 f94017e0 39400000 92401c00 (d5033fbf)
Resetting CPU ...

resetting ...

James