Merge "Document empty PIN/PUK behavior in AIDL comments" into main