Make hash_sha512 / hmac_sha512256 consistent with hash_sha256 / hmac_sha256