# CONFIG_IMA_DEFAULT_HASH_SHA512 is not set