review.coreboot.org / coreboot / 75985f1d0c47ccfcfeaecbfce869dab273b6ad71 / src / mainboard / ocp / tiogapass / Kconfig