kernel.c revision 94dd93aee32d1616436eb51fb7b58094b9a8d3e8