Minor touch to aes-armv4.pl.