[coreboot-gerrit] Patch set updated for coreboot: 4d1b0a3 rk3288: Fix some PLL divisors and improve clock code