drivers/acpi/thermal.c: fix build with CONFIG_DMI=n