# CONFIG_SPMI is not set