Type errors in Kconfig

Hi Arnd,

My SMT model for Kconfig (kconfirm-smt) is complete, and I plan to
open-source it later this week. It will be part of the kconfirm repo:
https://github.com/julianbraha/kconfirm

So... kconfirm-smt detected 2 type errors in Kconfig that I'm unsure
of how best to resolve.

In 'arch/Kconfig', these two int options:

ARCH_MMAP_RND_BITS_DEFAULT
ARCH_MMAP_RND_COMPAT_BITS_DEFAULT

are used directly as conditions for defaults.

Int options should never be used as conditions because they always
evaluate to false, making the defaults effectively dead code.

However, these options are non-visible and never used anywhere else.

Would it be better to remove these dead options, or attempt to fix the
conditions in case a future architecture wants to use them?

- Julian Braha