Re: [coreboot] [PATCH]es: Various changes from the kconfig branch