# CONFIG_SMC is not set