Minor edits to "
Device Hardware Key Handling" guide