Merge "KeyMint: improve HAL spec and tests"