Re: [coreboot] [PATCH] Geode GX2 print(k) V2