update pre-built kernel