Merge "KeyMint: improve HAL spec and tests" into sc-dev