updated kernel's name to v17