x86_64-xlate.pl: minor size/performance improvement.