[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

SKIP_ME="### CT_NG SKIP ME ###"

skip_me=$(($(cat "${0}" |@@grep@@ --binary-files=text -o -b -E "^${SKIP_ME}$" |cut -d : -f 1)+${#SKIP_ME}+1))

dd if="${0}" bs=${skip_me} skip=1 2>/dev/null |bzcat

exit 0

### CT_NG SKIP ME ###