review.coreboot.org / coreboot / b95be26096d81832620e4768c223887f69de118b / src / soc / rockchip / rk3288 / soc.c