[coreboot-gerrit] Patch merged into coreboot/master: f8dcdea rk3288: Fix some PLL divisors and improve clock code