poly1305/asm/poly1305-x86_64.pl: make it work with linux-x32.