Merge "add3prf.py: Update value for crates.io identifier" into main am: 8d37d26139 am: bd7927b278

Original change: https://android-review.googlesource.com/c/platform/development/+/2925531

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