ghash-x86[_64].pl: code refresh.