# CONFIG_DMI is not set