[PATCH 5.12 187/242] docs: Makefile: Use CONFIG_SHELL not SHELL