Merge "KeyMint HALs: clarifications"