Changed kernel name