CommentStreams:6c2366b14548f06e48fe77a97684002b

In the end I have updated the firmware using rpi-eeprom-update -a and that seems to have fixed the issue, the board is now properly detected and works as expected. Thank you for your kindness and sorry for false problem report.