Fixed SHA-512 and SHA-512/t