drivers/staging/ccree/ssi_hash.c: fix build with gcc-4.4.4