Re: [coreboot] patch: beginnings of support for geode gx2, v2, and Kconfig