add pre-built kernel