[coreboot] Patch merged into coreboot/master: a3f5358 rename vt8237r_cfg() to k8x8xx_vt8237r_cfg() and make publicly accessible