If you know exactly what's checked in the driver (CPU vendor, ACPI tables, BIOS info, SMI?), we might be able to dig into the right direction. It's just that I won't spend a lot of resources without knowing if our modifications are useful or not.