Indeed, it would need a software update in order to make it to work. As you can see in the wiki link I've send to you, the UART1 port is the one that is conflicting with the LPSdeck (bcUWB).
I've asked this to Arnaud, who made the lighthouse deck, and he said that currently we use i2c to access the lighthouse deck bootloader and uart for the lighthousedeck firmware. This can be changed in the firmware, if the i2c link would be used for the deck fpga firmware, but somebody would need to work on this. Currently we are mostly focused on getting Lighthouse version 2 working (with the HTC vive basestations v2), so that has more priority at the moment. So I'm not sure yet when this future adjustment will be made.
However, if you or somebody from your lab is able to already look into this and contribute a fix, this will go a lot quicker of course

. The i2c is already in the bootloader so somebody could port it to the firmware.