Pedantic polish to aes-ia64 and sha512-ia64.