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

Nicolas Iooss c017c71ce0 selinux: include sys/socket.h in host programs to have PF_MAX		%!s(int64=8) %!d(string=hai) anos
..
.gitignore	6e8e16c7bc SELinux: add .gitignore files for dynamic classes	%!s(int64=16) %!d(string=hai) anos
Makefile	bfc5e3a6af selinux: use the kernel headers when building scripts/selinux	%!s(int64=8) %!d(string=hai) anos
genheaders.c	c017c71ce0 selinux: include sys/socket.h in host programs to have PF_MAX	%!s(int64=8) %!d(string=hai) anos