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