# CONFIG_SMC is not set
