For the record... intel_idle doesn't check that bit because it doesn't run on model 29 -- the Xeon 7400 was the "Dunnington" 4-socket generation based on Core2. Until now, i was not aware that this issue might apply to models other than that one.
Checking w/ the HW guys... thanks, Len Brown, Intel Open Source Technology Center -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
