# CONFIG_DMIID is not set
