# CONFIG_CRYPTO_SHA1_PPC is not set