[PATCH 20/88] Makefile: Avoid use of invalid CONFIG_ option