[Lava-users] Support for lauterbach-trace32 debugger