aesni-x86_64.pl: minor CTR performance improvement.