kernel.h revision ab7476cf
1