On E25 only one 2.5Gbit Ethernet port active

Has anyone experienced only one of the two 2.5GBit Ethernet ports to be active?
Connecting cable to a switch does not cause any lights to flicker on the port (the rightmost when USB-C is on the left), neither does anything show up in dmesg.

Happens both on the most recent Radxa Debian build for E25 and on the most recent Armbian CLI build for E25.

Are the two ports connected to the same PHY?

Edit: I just found that with the most recent image “b1 (rsdk)” from Radxa’s Github the second port is detected correctly. I assume it’s some sort of missing or faulty device tree entry in the previously mentioned images. If anyone can give me a hint where to look, that’d be of great help. I’d like to report this to the Armbian image maintainer, too.