# CONFIG_DMI_SYSFS is not set