Change in coreboot[master]: [RFC] kconfig_lint: Drop overly restrictive rules about choice configs

[Angel Pons (Code Review)]

Attention is currently required from:  Felix Singer, Nico Huber, Martin Roth, Julius Werner, Michael Niewöhner.
Angel Pons has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/56410 )

Change subject: [RFC] kconfig_lint: Drop overly restrictive rules about choice configs
......................................................................

Patch Set 4: Code-Review+1

(1 comment)

File util/lint/kconfig_lint:

https://review.coreboot.org/c/coreboot/+/56410/comment/0362cf77_5463a7f0 
PS2, Line 817:         elsif ( $inside_choice && $symbols{$symbol}{choice} ) {
             :             show_error( "$symbol entry at $filename:$line_no has already been created inside another choice block "
             :                   . "at $symbols{$symbol}{0}{file}:$symbols{$symbol}{0}{line_no}." );
             :         }
             :
> I had to work around that for the framebuffer choice, see `device/Kconfig`.
> AFAIR, kconfig was able to handle it correctly back then, only the linter didn't agree.

Are you referring to this comment?

# Workaround to have LINEAR_FRAMEBUFFER set in both cases
 # VBE_LINEAR_FRAMEBUFFER and GENERIC_LINEAR_FRAMEBUFFER.
 # `kconfig_lint` doesn't let us use the same name with
 # different texts in the choice above.