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

Thomas Renninger 99b7250844 ACPI processor hotplug: Delay acpi_processor_start() call for hotplugged cores		%!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	6038f373a3 llseek: automatically add .llseek fop	%!s(int64=15) %!d(string=hai) anos
intel_idle.c	99b7250844 ACPI processor hotplug: Delay acpi_processor_start() call for hotplugged cores	%!s(int64=13) %!d(string=hai) anos