Nico Huber has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/33827 )
Change subject: wifi/Kconfig: Add new config MAINBOARD_HAS_NO_WIFI ......................................................................
Patch Set 4:
I'm neither the first NOR the LAST to be annoyed by this option that I deactivate each time as I definitely don't need it at all.
That's ok. Not everybody needs it. But what you suggested was to disable it for everyone for specific boards. Why do you want to make that decision for other people?
As a developer I'm also annoyed by many defaults that make my work harder, e.g. SeaBIOS is enabled by default and its integration is usually broken (`make -j` doesn't work, it gets recompiled on every `make`). Still having a default that works for many users seems reasonable, no?
Btw. this SeaBIOS example is about actual issues in the work- flow. So far I guess you disable INTEL_WIFI because you don't like it?
The solution is to do it on local change (current one) ...
... or override the default in your site-local/Kconfig, or keep your .config file. Or leave INTEL_WIFI enabled, because it doesn't hurt?
(out of topic) do you use a DVB-C PCI card?
No, but I used a USB DVB-C dongle once. And I was happy that I didn't had to recompile my kernel to use it.
I'm sure, no and you don't even compile the module :p
If I wanted to compile my own kernel, I would most likely start with the .config of my Linux distribution. And then I would have to disable DVB-C PCI modules if I don't want to compile them.