review.coreboot.org / coreboot / 416ab38ea47b5f41b918292b64843e63c100e53c / src / soc / rockchip / Kconfig