Simplify hkdf_sha256