review.coreboot.org / coreboot / b5df65a9aaee50421913ace6d7a4b35e0ddff676 / src / mainboard / compulab / Kconfig.name