# CONFIG_CHROMEOS_TBMC is not set