Fix Keccak undefined behavior on exotic platforms.

Bug reported and diagnosed in: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=975977

Fixes bug #40210 (closed).