Pass CONFIG_SHELL down to generated scripts, and re-export SHELL.