gcm128.c: make it work with no-sse2.