# CONFIG_PLATFORM_SI4713 is not set