kernel.c revision c9431fa1e59a88c2f0abf611f25b97af964449e5