minor kernel settings bug fix