[PATCH] docs: Makefile: Use CONFIG_SHELL not SHELL