Merge "Keymint: Use ndk_platform." am: dfe843477b am: 24f8ba41c4 am: c670b8d592

Original change: https://android-review.googlesource.com/c/platform/hardware/interfaces/+/1532211

MUST ONLY BE SUBMITTED BY AUTOMERGER

Change-Id: I6195d05d61cc03dc409e67b74b322367488dd894