[coreboot-gerrit] Change in coreboot[master]: [TEST] abuild: Default to !CHROMEOS

[Julius Werner (Code Review)]

Julius Werner has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/49056 )

Change subject: [TEST] abuild: Default to !CHROMEOS
......................................................................

Patch Set 4:

(1 comment)

https://review.coreboot.org/c/coreboot/+/49056/4//COMMIT_MSG 
Commit Message:

https://review.coreboot.org/c/coreboot/+/49056/4//COMMIT_MSG@7 
PS4, Line 7: [TEST]
> > This change was helpful to catch some dependencies that would force CHROMEOS to be enabled for som […]

Okay, I noticed now that a bunch of mainboards override the default for config CHROMEOS. I agree that should get fixed.

Is that maybe something we can put into kconfig_lint instead? It's already parsing the defaults of all Kconfigs, it hopefully shouldn't be so hard to just check if something there overrides CHROMEOS. I think that would be a cleaner way to add that check than this.