[aesni-]sha1-x86_64.pl: code refresh.