x86_64-xlate.pl: minor update.