Fix OCB amd64 assembly implementations for x32