Re: [coreboot] buildrom: Update kconfig to recent version