update kernel