[PATCH v2 19/87] Makefile: Avoid use of invalid CONFIG_ option