[automerger skipped] Merge changes from topic "check_unused_hals" into pi-dev
am: 494dd188d6  -s ours

Change-Id: Iaa15a5cab4c3af9a89df18e803175de11421498f