updated kernel name