intel_idle results

On offending system...
100 Watts reduced to 85 Watts
Max frequency increased to 3.2GHz from 2.9 GHz

Though after ~6 months, OEM did ship fixed BIOS...