[coreboot] Re: make menuconfig - is broken after commit 7eab8ef (Linux 6.2's kconfig) and follow-ups