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

Mathieu Desnoyers 531d297569 markers: probe example, fix teardown		%!s(int64=17) %!d(string=hai) anos
..
Makefile	31155bc03e Linux Kernel Markers - Samples	%!s(int64=18) %!d(string=hai) anos
marker-example.c	16e70f64a9 samples: use non-racy method for /proc/marker-example creation	%!s(int64=17) %!d(string=hai) anos
probe-example.c	531d297569 markers: probe example, fix teardown	%!s(int64=17) %!d(string=hai) anos