Did you have any more luck with this?

Not really, have been moving recently. I might look at it another time.

@nicklasfrahm
I've proposed a PR in the siderolabs/pkgs repo (siderolabs/pkgs#1072), which fixes the PCI issue for this board, allowing both NVME and 2.5Gbits to be detected.

My initial tests showed only one of the 2.5Gbit ethernet ports during install, but the nvme was fully accessible.

(Update:
This is because uboot is never loading the kernel dts blob - leaving us with the default uboot fdt with the "powerless" first pci3 lane, which is the lane thee first 2.5Gbit lan adapter is on. For some reason the functionality to load the external or retain the built-in fdt in boothmeth_efi is never called.)

Regards,

Remko