The config language is *not* shell.  The construct "[ foo ] || [ bar ]"
is legal in shell but not in the config language, where we should use
the equivalent "[ foo -o bar ]"

The format for the "choice" statement is:

  choice 'prompt' "{sub-prompt sub-symbol}*" default-value

and the following is *not* legal config language (note the
positioning of the closing double quote):

  choice 'prompt' "{sub-prompt sub-symbol}* default-value"

It only happens to work because of a combination of accidental
side effects of the current parsers:

  *   unpaired sub-words inside the 2nd word are silently ignored
  *   the missing last word is silently treated as if empty

Two symbols used in drivers/net/wan/Config.in are misspelled.

CONFIG_PPP_MULTLINK should be CONFIG_PPP_MULTILINK
CONFIG_PPP_SYNCTTY should be CONFIG_PPP_SYNC_TTY

1/2 definitions of CONFIG_PC_KEYB have trivially different banners.

1/3 definitions of CONFIG_PARPORT_1284 have trivially different banners.

1/2 definitions of CONFIG_NUMA have trivially different banners.

1/16 definitions of CONFIG_NETDEVICES have trivially different banners.

1/3 definitions of CONFIG_MODVERSIONS have trivially different banners.

1/11 definitions of CONFIG_HOTPLUG have trivially different banners.

2/10 definitions of CONFIG_CD_NO_IDESCSI have trivially different banners.

1/3 definitions of 64-bit CONFIG_BINFMT_ELF have trivially different banners.
1/3 definitions of CONFIG_BINFMT_ELF32 have trivially different banners.

1/17 definitions of CONFIG_SCSI have trivially different banners.

1/14 definitions of CONFIG_SOUND have trivially different banners.

2/4 definitions of CONFIG_SOFT_WATCHDOG have trivially different banners.

1/3 definitions of CONFIG_PSMOUSE have trivially different banners.

1/3 definitions of CONFIG_PPP have trivially different banners.

2/6 definitions of CONFIG_PCI have trivially different banners.

2/5 definitions of CONFIG_BLK_DEV_SR have trivially different banners.

1/5 definitions of CONFIG_PREEMPT have trivially different banners.

Symbol CONFIG_SK_G16 depends on CONFIG_OBSOLETE but does
not say so in its banner.

Symbol CONFIG_H8 depends on CONFIG_OBSOLETE but does
not say so in its banner.

Symbol CONFIG_FMV18X depends on CONFIG_OBSOLETE but does
not say so in its banner.

Symbol CONFIG_LDM_PARTITION depends on CONFIG_EXPERIMENTAL but does
not say so in its banner.

Symbol CONFIG_JFFS2_FS_NAND depends on CONFIG_EXPERIMENTAL but does
not say so in its banner.

Symbol CONFIG_ISDN_DRV_TPAM depends on CONFIG_EXPERIMENTAL but does
not say so in its banner.

Three symbols CONFIG_BLK_DEV_ATARAID, CONFIG_BLK_DEV_ATARAID_PDC, and
CONFIG_BLK_DEV_ATARAID_HPT depend on CONFIG_EXPERIMENTAL but do
not say so in their banners.

Two symbols CONFIG_PLX_HERMES and CONFIG_PCI_HERMES depend on
CONFIG_EXPERIMENTAL but do not say so in their banners.

Symbol CONFIG_CYCLOMX_X25 depends on CONFIG_EXPERIMENTAL but does
not say so in its banner.

Symbol CONFIG_BLK_DEV_UMEM depends on CONFIG_EXPERIMENTAL but does
not say so in its banner.

Four symbols CONFIG_ATM_CLIP, CONFIG_ATM_CLIP_NO_ICMP, CONFIG_ATM_LANE,
and CONFIG_ATM_MPOA depend on CONFIG_EXPERIMENTAL but do not say so
in their banners.

Symbol CONFIG_ADFS_FS depends on CONFIG_EXPERIMENTAL but does
not say so in its banner.

Symbol CONFIG_SOUND_RME96XX depends on CONFIG_EXPERIMENTAL but does
not say so in its banner.

Symbol CONFIG_VIDEO_MEYE depends on CONFIG_EXPERIMENTAL but does
not say so in its banner.

Symbol CONFIG_SONYPI depends on CONFIG_EXPERIMENTAL but does
not say so in its banner.

Symbol CONFIG_MIDI_EMU10K1 depends on CONFIG_EXPERIMENTAL but does
not say so in its banner.

Two symbols CONFIG_ROADRUNNER and CONFIG_ROADRUNNER_LARGE_RINGS depend
on CONFIG_EXPERIMENTAL but do not say so in their banners.

The convention is that symbols that depend on $CONFIG_EXPERIMENTAL are
marked in the banner with the string (EXPERIMENTAL).  There are 4 cases
where that string is correctly used but is lowercase instead of uppercase.

The default value specified as the last word of the "choice" statement
should be a unique abbreviation of one of the sub-prompts, not some
random string never seen before.

Symbol CONFIG_ZNET depends on CONFIG_OBSOLETE, but its banner says it
depends on CONFIG_EXPERIMENTAL.

Symbol CONFIG_INTERMEZZO_FS depends on CONFIG_EXPERIMENTAL but does
not say so in its banner in the usual way.