[coreboot-gerrit] Patch set updated for coreboot: rockchip/rk3399: Fix rkclk_init() to actually use PERILP1_PCLK_HZ