A few tweaks in the new sha512 kernel.
- BTW: the error previously reported was caused by the host code.