fix dts - symbol error

ronnie

2022-10-23 4bf14332546635f50a1bf7f3df4c0a8e29643280

1
2
3
4
dimitry@google.com
eaeltsin@google.com
ngeoffray@google.com
oth@google.com