# CONFIG_DMIID is not set