kernel.c revision df15e419cb7359ba56ddddab9045e438d89e7cbc