From: Patrick Talbert on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1582#note_8191...
We have a script that sorts out all the redundant CONFIG files. It hasn't been
used in a while but we're planning on it soon. I think it is somewhere on
@prarit's plate with everything else :).
But really, don't worry too much about redundant CONFIG files unless you
happen to be touching one anyway.