Revert r1.5 and reenable assembler version of ghash now that it has been
fixed.