GfA/linux_kernel: linux kernel based on RobertCNelsons patchset https://github.com/RobertCNelson/bb-kernel @ f2ea86dec08d194f345be4c8b0e792c787b30f53

Len Brown 23795e580c intel_idle: enable IVB Xeon support		%!s(int64=13) %!d(string=hai) anos
..
Kconfig	5a5e28daea intel_idle: no longer EXPERIMENTAL	%!s(int64=15) %!d(string=hai) anos
Makefile	2671717265 intel_idle: native hardware cpuidle driver for latest Intel processors	%!s(int64=15) %!d(string=hai) anos
i7300_idle.c	234e340582 simple_open: automatically convert to simple_open()	%!s(int64=13) %!d(string=hai) anos
intel_idle.c	23795e580c intel_idle: enable IVB Xeon support	%!s(int64=13) %!d(string=hai) anos