how to update kernel