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

Nicolas Palix 93f1446849 Coccinelle: Update the options used to the new option scheme		12 vuotta sitten
..
call_kern.cocci	93f1446849 Coccinelle: Update the options used to the new option scheme	12 vuotta sitten
double_lock.cocci	93f1446849 Coccinelle: Update the options used to the new option scheme	12 vuotta sitten
flags.cocci	93f1446849 Coccinelle: Update the options used to the new option scheme	12 vuotta sitten
mini_lock.cocci	93f1446849 Coccinelle: Update the options used to the new option scheme	12 vuotta sitten