[10:58] <luc4> juergh: hello, not sure if you remember helping me with that USB bug report on rpi. I’m still having a look at it, but I would like to ask if you know how to determine what version of the rpi firmware files are installed. I would like to compare with the official repo. I was wondering if the problem could be related to firmware files instead of the kernel.