[35.3.1] help to check what the dtb file using by board_sku 0001

no, it is not normal. It is a bug.

Please apply this patch.

--- a/scripts/board_config/p3509-a02+p3767-0000.conf
+++ b/scripts/board_config/p3509-a02+p3767-0000.conf
@@ -55,7 +55,7 @@ update_flash_args_common()
                        BPFDTB_FILE="tegra234-bpmp-3767-0000-a00-3509-a02.dtb";
                fi
        elif [ "${board_sku}" = "0001" ]; then
-               DTB_FILE="tegra234-p3767-0000-p3509-a02.dtb";
+               DTB_FILE="tegra234-p3767-0001-p3509-a02.dtb";
                BPFDTB_FILE="tegra234-bpmp-3767-0001-3509-a02.dtb";
        elif [ "${board_sku}" = "0003" ] || [ "${board_sku}" = "0005" ]; then
                DTB_FILE="tegra234-p3767-0003-p3509-a02.dtb";