ghash-x86_64.pl: minor optimization.
aesni-x86_64.pl: optimize CTR even further.