coreboot-kgpe-d16/src/mainboard/google/veyron_rialto/Kconfig.name