[coreboot] [RFC] [PATCH] Overclocking support for 939a785gmh