I found that the firmware-realtek package providing the drivers for USB hub Ethernet ports with Realtek chips is lacking in the debian-202308 image for riscv64 architecture. I found that Debian sid should support it officially, but the package seems not to be available in debian-202308 image. Are they somehow available?