Nico Huber has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/33641 )
Change subject: Kconfig: Display a warning if the board is updated incorrectly ......................................................................
Patch Set 1: Code-Review+1
We can also check this in the makefile and kill the build if that's desired.
I would prefer a Makefile solution, because we wouldn't need the fake Kconfig option. I just tried the following: moved the `include $(DOTCONFIG)` up out of the `ifeq ($(NOCOMPILE)...` then we could grep for the old setting in the new `.config` after each `make *config`.
I'm not 100% convinced by either solution. I don't like the fake Kconfig, but the Makefile code might get a little ugly.
In the Makefile case, we could even move the new, to be re- paired .config away and revert the changes?
Also noticed, the MAINBOARD_DIR might not be enough, a variant change could also create havoc.