Re: [coreboot] [PATCH] kconfig support for all GX1 boards