[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.

#!/bin/sh

# Needed for systems without gettext

$* -xc -o /dev/null - > /dev/null 2>&1 << EOF

#include <libintl.h>

int main()

{

	gettext("");

	return 0;

}

EOF

if [ ! "$?" -eq "0"  ]; then

	echo -DKBUILD_NO_NLS;

fi