changed kernel c code