Re: [coreboot] [PATCH] Add cpu speed selection to Geode GX2 boards