[config] Allow user to specify custom CONFIG_SHELL

In case the shell the user wants to use as CONFIG_SHELL is located in a
weird place (eg. /opt/bash/bin/bash), or is weirdly named (eg. bash-4),
let the user enter the patch to the shell.

# x86 specific options

config ARCH_x86

    select ARCH_USE_MMU

    select ARCH_SUPPORT_ARCH

    select ARCH_SUPPORT_CPU

    select ARCH_SUPPORT_TUNE

    help

      The x86 architecture, as defined by:

        http://www.intel.com/