# CONFIG_SILEAD_DMI is not set