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

 reporter_name="Julien DUSSER"

 reporter_url="http://sourceware.org/ml/crossgcc/2008-10/msg00054.html"

 reporter_comment="Soft-float for the 405 PowerPC"