This allows for checking the SHA-512 implementation against Wycheproof via the HMAC tests.
Missed in 217145edc0 .
217145edc0