The Radxa Debian distribution does not configure the onboard Ethernet controller right?

ROCK 5 Series 5B/5B+
4

with “debian” probably talking “armbian”?

there seems to be more often than usual nic trouble with RK3588 ? After update only 1x nic still working