[coreboot] Patch set updated for coreboot: edc3439 factor out common config for k8x8xx's dram_enable() and vt8237r_cfg()