update kernel inclusion