From: Justin M. Forbes on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1433#note_7093...
I am generally okay with this approach. As a separate MR from someone, it
might be interesting to have the config scripts actually do a full check, but
instead of error, just print out issues so that people can be aware of what is
being changed. Particularly in the gcov case, it would be interesting to see
what is not getting the coverage that we expect because the config was flipped
to off.