Revised linux kernel version for performance counters on Intel Ivy Bridge