kernel.c revision b3d32f0ceb59362ba287dcfd6de471e98bfc7fa9