re: Compiling kernel with -std=gnu11

[matthew green]

my only real wish is that we switch userland at the same time.

if -std=c11 suffices for everything we need, then that would be
fine, though i wouldn't object to -std=gnu11 since GCC itself
always defaults to some gnu variant.


.mrg.