review.coreboot.org / coreboot / baf27dbaeb1f6791ebfc416f2175507686bd88ac / src / soc / cavium / Kconfig