This patch is a lot more experimental than the others. __Handle with care,
This patch is a small update to the first WBINVD-C3 support patch, and only cleans up the code a lot. Adding support for other chipsets should be more straightforward now.
Additionally, since this patch needs the C3 state selection patch submitted earlier, you can turn WBINVD-C3 on and off depending on your system configuration (battery / ac), for example. Also, when your wbinvd latency was too large during booting you get another try by "echo"ing an active state to /proc/acpi/processor/CPU0/c3state.