[Concept] [PATCH 10/16] tkey: Use SHA256 to obtain the disk-encryption key