@samuelolavo Thanks for your answer
It's very weird because by seeing the command outputs that you pasted, it looks like everything is behaving as it should be.
Even the PCI ID (segment:bus:device:function) seems to stay correct (0000:03:00.0)
I'll ask others internally.