Catalyst for developing intel_idle

At Intel Core i7 Processor Introduction

OEM ACPI BIOS bugs increased idle power to 100W from 85W

OEM ACPI BIOS bugs decreased max to clock 2.9 from 3.2 GHz