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