# CONFIG_INTEGRITY is not set