Is uphy1-config = <0x07> in the file tegra264-bpmp-3834-0008-4071-xxxx.dtb incorrect?

According to the online development guide document, the value of UPHY1 can only be 0 or 8.

Execute the following command to view the contents of the .dts file.

$ dtc -I dtb -O dts -o tegra264-bpmp-3834-0008-4071-xxxx.dts tegra264-bpmp-3834-0008-4071-xxxx.dtb

uphy {
	status = "okay";
	uphy0-config = <0x07>;
	uphy1-config = <0x07>;
	mgbe0-speed = <0x02>;
	mgbe1-speed = <0x02>;
	mgbe2-speed = <0x02>;
	mgbe3-speed = <0x02>;
};

0x7 means the MGBE0~3 is in 10G mode while 0x8 means MGBE is running up to 25G mode.