All known machines with this implementation also have a WMI interfacewith event GUID 59142400-C6A3-40FA-BADB-8A2652834100 which is not seenon any other models. Refuse to load toshiba_acpi on machines with thisguid.