Merge mainline-prod into master

$ git merge -s ours origin/mainline-prod

All commits are from upstream.

Bug: 168176832
Test: presubmit
Change-Id: I4702d0dd3c35e43f758100043490e8c566a307bc