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

[Michael Niewöhner (Code Review)]

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

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

Patch Set 6:

(1 comment)

File util/lint/kconfig_lint:

https://review.coreboot.org/c/coreboot/+/56410/comment/b7160cc9_e8f84919 
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}." );
             :         }
             : 
This one is not being dropped in the latest PS, however, it's still too restrictive:
> The message says "another choice block" but this "another" is never checked, AFAICS