Re: [coreboot] [patch] socket 754 kconfig modernization