[PATCH 5.13 211/266] docs: Makefile: Use CONFIG_SHELL not SHELL