aesv8-armx.pl: rigid input verification in key setup.
aesp8-ppc.pl: rigid input verification in key setup.