Merge "Update doc for DeviceProperties's Sdk_version field" am: 62a2fd93de am: cfbb243ff2

Original change: https://android-review.googlesource.com/c/platform/build/soong/+/2065271

Change-Id: I8ffa3d5845679fbc0d041896f08ffd0d91466836
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>