The version of ACPI.PSD that is installed is 3.23.17
The system is operating in Symmetric mode (Mode 2)
The kernel is 14.204_SMP
The retail PSD is installed

Number of interrupts available: 60
IRQ 00 count 12900
IRQ 08 count 372172
IRQ 09 count 1
MSI 54 count 303
MSI 56 count 7474
MSI 57 count 23
MSI 58 count 666

========== CPU0 ==================
ACPI name [PR00]
IPIGenCount = 90894      IPICount  = 22411      HaltCount = 0         
IPIPsdCount = 0          IdleCount = 424200     BusyCount = 30867     
========== CPU1 ==================
ACPI name [PR01]
IPIGenCount = 22457      IPICount  = 44213      HaltCount = 3         
IPIPsdCount = 0          IdleCount = 1622       BusyCount = 1621      
========== CPU2 ==================
ACPI name [PR02]
IPIGenCount = 20614      IPICount  = 45885      HaltCount = 1         
IPIPsdCount = 0          IdleCount = 1589       BusyCount = 1588      
========== CPU3 ==================
ACPI name [PR03]
IPIGenCount = 24301      IPICount  = 45757      HaltCount = 1         
IPIPsdCount = 0          IdleCount = 1357       BusyCount = 1356      

This system does not support CPU Performance Control via ACPI.

This system does not support CPU Throttling.

Thermal information:
  Thermal zone 'TZ00':  Current: 35 C  Critical: 111 C

No AC status is available for this computer

Power Manager is Enabled