[PATCH v3 18/76] Makefile: Avoid use of invalid CONFIG_ option