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

Ingo Molnar 34af946a22 [PATCH] spin/rwlock init cleanups		%!s(int64=19) %!d(string=hai) anos
..
Kconfig	50e300dead [IA64] show "SN Devices" menu only if CONFIG_SGI_SN	%!s(int64=20) %!d(string=hai) anos
Makefile	2d0cfb5279 [PATCH] Altix: ioc3 serial support	%!s(int64=20) %!d(string=hai) anos
ioc3.c	34af946a22 [PATCH] spin/rwlock init cleanups	%!s(int64=19) %!d(string=hai) anos
ioc4.c	f5befceb5c [PATCH] SGI IOC4: Detect IO card variant	%!s(int64=19) %!d(string=hai) anos