review.coreboot.org / coreboot / c14b54dd170cb2fae16a5086134208caba0593f8 / src / soc / rockchip / rk3399 / clock.c