updated kernel branch